Institution-based semantics for MOF and QVT-relations :Extended version
En el paradigma de Ingeniería Dirigida por Modelos (Model-Driven Engineering, MDE), la calidad del software depende fuertemente de un proceso de construcción (semi)automático guiado por modelos y transformaciones de modelos, que debe ser confiable y robusto, dado que el menor error puede crecer e im...
Salvato in:
| Autore principale: | |
|---|---|
| Altri autori: | |
| Natura: | report |
| Pubblicazione: |
2013
|
| Soggetti: | |
| Accesso online: | http://hdl.handle.net/20.500.12008/3472 |
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi: Institution-based semantics for MOF and QVT-relations :Extended version
- Heterogeneous verification of model transformations
- Verification of model transformations : A survey of the state-of-the-art (Extended version)
- Autorización de Acceso en MIDP 3.0
- A Model-Driven Analysis of Mimblewimble Security Properties and its Protocol Implementations
- Procesos semánticos lógico matemáticos para la implementación de un manual interactivo en la web para estudiantes de primer semestre de la Universidad de Antioquia
- Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)