𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Model Driven Engineering Languages and Systems Volume 6981 || Formal Verification of QVT Transformations for Code Generation

✍ Scribed by Whittle, Jon; Clark, Tony; Kühne, Thomas


Book ID
121432862
Publisher
Springer Berlin Heidelberg
Year
2011
Tongue
English
Weight
303 KB
Edition
1
Category
Article
ISBN
3642244858

No coin nor oath required. For personal study only.

✦ Synopsis


This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. The papers address a wide range of topics in research (foundations track) and practice (applications track). For the first time a new category of research papers, vision papers, are included presenting "outside the box" thinking. The foundations track received 167 full paper submissions, of which 34 were selected for presentation. Out of these, 3 papers were vision papers. The application track received 27 submissions, of which 13 papers were selected for presentation. The papers are organized in topical sections on model transformation, model complexity, aspect oriented modeling, analysis and comprehension of models, domain specific modeling, models for embedded systems, model synchronization, model based resource management, analysis of class diagrams, verification and validation, refactoring models, modeling visions, logics and modeling, development methods, and model integration and collaboration.


📜 SIMILAR VOLUMES


[Lecture Notes in Computer Science] Mode
✍ 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] Mode
✍ Whittle, Jon; Clark, Tony; Kühne, Thomas 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 478 KB

This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. The papers address a wide range of topics in research (foundations track) and practice (applications t

[Lecture Notes in Computer Science] Form
✍ 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
✍ Whittle, Jon; Clark, Tony; Kühne, Thomas 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 283 KB

This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. The papers address a wide range of topics in research (foundations track) and practice (applications t

[Lecture Notes in Computer Science] Mode
✍ Schürr, Andy; Selic, Bran 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 347 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