Model evolution and system evolution

Pons, Claudia et al · SEDICI UNLP · 2000

Acceso abierto al texto completo

Lectura rápida. Revisá los datos básicos del recurso y luego accedé al contenido desde el botón principal. En esta ficha solo se muestra la información necesaria para identificar la obra, citarla y abrirla.

Autor / responsable

Pons, Claudia et al

Editorial

SEDICI UNLP

Año

2000

Idioma

en

Acceso al recurso

Entrá al contenido desde la opción principal o elegí otra fuente disponible.

Acceso principal

Acceso abierto al texto completo

Texto completo identificado como acceso abierto.

Abrir texto

Resumen

Descripción general del contenido del recurso.

In this paper we define an evolution mechanism with formal semantics using the metamodeling methodology [Geisler et al.98] based on dynamic logic. A remarkable feature of the metamodeling methodology is the ability to define the relation of intentional and extensional entities within one level, allowing not only for the description of structural relations among the modeling entities, but also for a formal definition of structural
constraints and dynamic semantics of the modeled entities. While dynamic semantics on the extensional level means run-time behavior, dynamic semantics on intentional level describes model evolution in the system life cycle.
Facultad de Informática

Cómo citar

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Pons, C. E. A. (2000). Model evolution and system evolution. http://sedici.unlp.edu.ar/handle/10915/9395

MLA

Pons, Claudia et al. "Model evolution and system evolution." 2000. http://sedici.unlp.edu.ar/handle/10915/9395.

Chicago

Pons, Claudia et al. 2000. "Model evolution and system evolution.". http://sedici.unlp.edu.ar/handle/10915/9395.

Harvard

Pons, C. E. A. 2000, Model evolution and system evolution, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/9395 [Accessed 28 Jun. 2026].

Compartir e imprimir

Guardá la ficha, copiá su enlace permanente o imprimila como PDF.

Exportar referencia

Si usás un gestor bibliográfico, podés exportar el registro en los formatos más comunes.

RIS BibTeX

Detalles del recurso

Información bibliográfica útil para confirmar que se trata del material correcto.

Título: Model evolution and system evolution

Autor / colaboradores: Pons, Claudia et al

Editorial: SEDICI UNLP

Año de publicación: 2000

Idioma: en

Materias

Explorá otros recursos relacionados a partir de estas materias.

Ciencias Informáticas; formal modeling; system evolution; model evolution; dynamic logic; UML; Lógica dinámica; Ingeniería de software; Informática