Configurable Formal Methods for Extreme Modeling
Résumé
Reliable model transformations are essential for agile modeling. We propose to employ a configurable-semantics approach to develop automatic model transformations which are correct by design and can be integrated smoothly into existing tools and work flows.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...