MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—Tailoring software processes is an activity that allows process engineers to adapt organizational software processes to the needs of particular projects. Model-driven engineerin...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
— In this paper, we present a tool named UmpleRun that allows modelers to run the textually specified state machines under analysis with an execution scenario to validate the mod...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Abstract. The Object Constraint Language (OCL) is a central component in modeling and transformation languages such as the Unified Modeling Language (UML), the Meta Object Facilit...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—This paper summarizes our research findings on optimizing the symbolic execution of evolving state machines using incremental analysis. I. PROBLEM AND MOTIVATION Model Driven E...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—Software modeling is generally a collaborative activity and typically involves graphical diagrams. The Unified Modeling Language (UML) is the de facto standard for modeling obj...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
— Models in software engineering bring significant potential in improvements of productivity of engineers, and improved quality of the artifacts they produce. Despite this signif...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Abstract—In Model-Driven Engineering, the potential advantages of using bidirectional transformations are largely recognized. Despite its crucial function, in certain cases bidir...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
In this paper we propose an iterative process for the correct speci cation of model transformations, i.e., for developing correct transformation models. This permits checking the ...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Advanced driver assistance systems and (semi-)autonomous mobility systems will arguably be the biggest disruption of our everyday life in the next couple of years. The development ...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—Component-based and model-driven engineering are key paradigms for handling the ever-increasing complexity of technical systems. Surprisingly few component models consider extra...