Towards managing dynamic reconfiguration of software systems in a categorical setting

Dynamic reconfiguration, understood as the ability to manage at run time the live components and how these interact in a system, is a feature that is crucial in various languages and computing paradigms, in particular in object orientation. In this paper, we study a categorical approach for characte...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Castro, P.F., Aguirre, N.M., López Pombo, C.G., Maibaum, T.S.E.
Formato: SER
Materias:
Component based
Component based systems
Computing paradigm
Dynamic environments
Dynamic re-configuration
Essential characteristic
Formalisation
Generic specifications
Object orientation
Runtimes
Software systems
Dynamic models
Specification languages
Temporal logic
Specifications
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v6255LNCS_n_p306_Castro
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares