Model evolution and system evolution

Mostrar todas las versiones(2)

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, allo...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Pons, Claudia, Baum, Gabriel Alfredo, Kutsche, Ralf-Detlef
Formato: Articulo
Lenguaje:Inglés
Publicado: 2000
Materias:
Ciencias Informáticas
formal modeling; system evolution; model evolution; dynamic logic; UML
Lógica dinámica
Ingeniería de software
Informática
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/9395
http://journal.info.unlp.edu.ar/wp-content/uploads/pap1.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares