Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.provenanceUniversidad de Buenos Aires. Facultad de Ciencias Económicas-
dc.creatorKutsche, Ralf-Detlef-
dc.creatorPons, Claudia Fabiana-
dc.creatorBaum, Gabriel-
dc.date2001-10-
dc.date.accessioned2019-06-19T20:35:44Z-
dc.date.available2019-06-19T20:35:44Z-
dc.date.issued2001-10-
dc.identifierhttp://digital.cic.gba.gob.ar/handle/11746/3520-
dc.identifierRegistro completo-
dc.identifier.urihttp://rodna.bn.gov.ar/jspui/handle/bnmm/327012-
dc.descriptionIn 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.-
dc.descriptionEje: Ingeniería de software-
dc.formatapplication/pdf-
dc.format20 p.-
dc.languageeng-
dc.rightsinfo:eu-repo/semantics/openAccess-
dc.rightsAttribution 4.0 International (BY 4.0)-
dc.sourcereponame:CIC Digital (CICBA)-
dc.sourceinstname:Comisión de Investigaciones Científicas de la Provincia de Buenos Aires-
dc.sourceinstacron:CICBA-
dc.source.urihttp://digital.cic.gba.gob.ar/handle/11746/3520-
dc.source.uriRegistro completo-
dc.subjectCiencias de la Computación e Información-
dc.titleModel evolution and system evolution-
dc.typeinfo:eu-repo/semantics/article-
dc.typeinfo:eu-repo/semantics/submittedVersion-
dc.typeinfo:ar-repo/semantics/articulo-
Aparece en las colecciones: Facultad de Ciencias Económicas. UBA

Ficheros en este ítem:
No hay ficheros asociados a este ítem.