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, Kutsche, Ralf-Detlef
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2001
Materias:
Ciencias Informáticas
Model evolution
system evolution
Models
SOFTWARE ENGINEERING
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23525
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares