Epsilon Flock: a model migration language
Model-driven engineering introduces additional challenges for controlling and managing software evolution. Today, tools exist for generating model editors and...
Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller...
While the majority of research on Model-Based Software Engineering revolves around open-source modelling frameworks such as the Eclipse Modelling...
Evaluating the effort of composing design models: a controlled experiment
Model composition plays a key role in many tasks in model-centric software development, e.g., evolving UML diagrams to add...
Resolving model inconsistencies using automated regression planning
One of the main challenges in model-driven software engineering is to automate the resolution of design model inconsistencies. We...
Model driven architecture: Principles and practice
Model Driven Architecture (MDA) is an approach to application modeling and generation that has received a lot of attention...
Specifying and executing behavioral requirements: the play-in/play-out approach
A powerful methodology for scenario-based specification of reactive systems is described, in which the behavior is "played in" directly...
Adherence preserving refinement of trace-set properties in STAIRS: exemplified for information flow properties and...
STAIRS is a formal approach to system development with UML 2.1 sequence diagrams that supports an incremental and modular...
Expressing aspectual interactions in design: evaluating three AOM approaches in the slot machine domain
In the context of an industrial project, we evaluated the implementation of the software of a casino slot machine....
On the realizability of collaborative services
This paper considers compositional specifications of services using UML 2 collaborations, activity and interaction diagrams, and addresses the realizability...
STAIRS towards formal design with sequence diagrams
The paper presents STAIRS , an approach to the compositional development of UML interactions supporting the specification of mandatory...
