KeY is a tool that provides facilities for formal specification and verification of programs
within a commercial platform for UML based software development. Using the KeY tool …

This book is about a significant step forward in software development. It brings state-of-the-
art ontology reasoning into mainstream software development and its languages. Ontology …

The family of languages that builds the foundation of the MEMO method is intended to
feature a high degree of inter-language integration. For this purpose, the languages need to …

Abstract Model Driven Engineering promotes the use of models as the main artifacts in
software and system development. Verification and validation of models are key activities to …

Refactoring of UML class diagrams is an emerging research topic and heavily inspired by
refactoring of program code written in object-oriented implementation languages. Current …

A model transformation verification task may involve a number of different transformations,
from one or more of a wide range of different model transformation languages, each …

Refactoring of UML class diagrams is an emerging research topic and heavily inspired by
refactoring of program code written in object-oriented implementation languages. Current …

In this paper we present a data-flow based approach to static model analysis to address the
problem of current methods being either limited in their expressiveness or employing …

Develo** constraint specifications for class models is a time-consuming and error-prone
task because typical specifications contain numerous constraints, which in addition often …

Enterprise Architecture (EA) analysis is an important tool for leveraging EA models.
However, due to the diverse nature of the EA field, analysis techniques must be able to deal …