News Help Institutional access
Back to results
Bibliographic record · Consultation and access
Artículo

Model evolution and system evolution

Pons, Claudia et al · SEDICI UNLP · 2000

Open-access full text
Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.
Author / responsible party
Pons, Claudia et al
Publisher
SEDICI UNLP
Year
2000
Language
English

Resource access

Open the content from the main option or choose another available source.

SEDICI UNLP SEDICI UNLP OAI-PMH
Entrar por SEDICI UNLP
Main access

Open-access full text

Texto completo identificado como acceso abierto.
Open text

Summary

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

How to cite

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

APA 7

Pons, C. E. A. (2000). Model evolution and system evolution. https://nodovox.com/record.php?id=517615

MLA

Pons, Claudia et al. "Model evolution and system evolution." 2000. https://nodovox.com/record.php?id=517615.

Chicago

Pons, Claudia et al. 2000. "Model evolution and system evolution.". https://nodovox.com/record.php?id=517615.

Harvard

Pons, C. E. A. 2000, Model evolution and system evolution, SEDICI UNLP, available at: https://nodovox.com/record.php?id=517615 [Accessed 9 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title
Model evolution and system evolution
Author / contributors
Pons, Claudia et al
Publisher
SEDICI UNLP
Publication year
2000
Language
English

Subjects

Explore related resources through these subjects.

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