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...
Generating instance models from meta models
Meta modeling is a wide-spread technique to define visual languages, with the UML being the most prominent one. Despite...
Reusable model transformations
Model transformations written for an input metamodel may often apply to other metamodels that share similar concepts. For example,...
Contract-based modeling and verification of timed safety requirements within SysML
In order to cope with the growing complexity of critical real-time embedded systems, systems engineering has adopted a component-based...
Correct-by-construction synthesis of model transformations using transformation patterns
Model transformations are an essential part of model-based development approaches, such as Model-driven Architecture (MDA) and Model-driven Development (MDD)....
Expert’ voice: The BabyUML discipline of programming: (where a Program =data + Communication +Algorithms)
I want increased confidence in my programs. I want my own and other people's programs to be more readable....
