𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Testing operational transformations in model-driven engineering

✍ Scribed by Andrea Ciancone, Antonio Filieri…

Book ID
120791058
Publisher
Springer
Year
2013
Tongue
English
Weight
747 KB
Volume
10
Category
Article
ISSN
1614-5046

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Mode
[Lecture Notes in Computer Science] Model Driven Engineering Languages and Systems Volume 5795 || Test-Driven Development of Model Transformations
✍ Schürr, Andy; Selic, Bran 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 453 KB

The Pioneering Organizers Of The ?rst Uml Workshop In Mulhouse, France Inthe Summerof1998couldhardlyhaveanticipatedthat,in Littleoveradecade, Theirinitiativewouldblossomintotoday’shighlysuccessfulmodelsconference Series, The Premier Annual Gathering Of Researchersand Practitioners Focusing On A Very

[Lecture Notes in Computer Science] Form
[Lecture Notes in Computer Science] Formal Methods for Model-Driven Engineering Volume 7320 || Formal Specification and Testing of Model Transformations
✍ Bernardo, Marco; Cortellessa, Vittorio; Pierantonio, Alfonso 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 748 KB

This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering an

[Lecture Notes in Computer Science] Mode
[Lecture Notes in Computer Science] Model Driven Architecture – Foundations and Applications Volume 4066 || Mutation Analysis Testing for Model Transformations
✍ Rensink, Arend; Warmer, Jos 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 285 KB

Integration -- Applications Of Transformations -- Applications Of Mda -- Process -- Model Consistency -- Model Management -- Transformation (1) -- Ontologies -- Reengineering -- Tools And Profiles -- Tool Generation -- Constraints -- Model Management And Transformations -- Transformation (2).