[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
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
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
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
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
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