Formal methods (such as interactive provers) are increasingly used in the verification of critical software. This is so because they rely on their strong formal

This book presents a comprehensive documentation of the scientific outcome of 14 satellite events held at the 13th International Conference on Model-Driven Engi

As organizations and research institutions continue to emphasize model-driven engineering (MDE) as a first-class approach in the software development process of

This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series o

This book constitutes the refereed proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012, held in Inns