7 records found
1
Reconstructing Complex Metamodel Evolution
Generating Database Migration for Evolving Web Applications
Proving consistency of VDM models using HOL
An Extensive Catalog of Operators for the Coupled Evolution of Metamodels and Models
Heterogeneous Coupled Evolution of Software Languages
Generating version convertors for domain-specific languages
Software Language Evolution
