Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

dc.date.accessioned 2004-04-14T20:26:03Z
dc.date.available 2004-04-14T03:00:00Z
dc.date.issued 2000 es
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/9395
dc.description.abstract 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. es
dc.language en es
dc.subject formal modeling; system evolution; model evolution; dynamic logic; UML es
dc.subject Lógica dinámica es
dc.subject Ingeniería de software es
dc.subject Informática es
dc.title Model evolution and system evolution es
dc.type Articulo es
sedici.identifier.uri http://journal.info.unlp.edu.ar/wp-content/uploads/pap1.pdf es
sedici.creator.person Pons, Claudia es
sedici.creator.person Baum, Gabriel Alfredo es
sedici.creator.person Kutsche, Ralf-Detlef es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Facultad de Informática es
sedici.subtype Articulo es
sedici.rights.license Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)
sedici.rights.uri http://creativecommons.org/licenses/by-nc/3.0/
sedici.description.peerReview peer-review es
sedici2003.identifier ARG-UNLP-ART-0000000168 es
sedici.relation.journalTitle Journal of Computer Science & Technology es
sedici.relation.journalVolumeAndIssue vol. 1, no. 3 es


Download Files

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)