![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Counterexample Interpretation for Contract-Based Design
Contract-based design (CBD) is an emerging paradigm for complex systems, specifying the input-output behavior of a component by defining what the component guarantees, provided its environment satisfies the gi...
-
Chapter and Conference Paper
A Domain Specific Language to Support HAZOP Studies of SysML Models
To deal with the rising system complexity, Model-Based System Development (MBSD) approaches are becoming popular due to their promise to improve consistency between different views of the system model. For dep...
-
Chapter and Conference Paper
Towards Smart Systems of Systems
Systems of Systems (SoS) have started to emerge as a consequence of the general trend toward the integration of beforehand isolated systems. To unleash the full potential, the contained systems must be able to...
-
Chapter and Conference Paper
Requirements and Assessment of Languages and Frameworks for Adaptation Models
Approaches to self-adaptive software systems use models at runtime to leverage benefits of model-driven engineering (MDE) for providing views on running systems and for engineering feedback loops. Most of thes...
-
Chapter and Conference Paper
The Role of Models and Megamodels at Runtime
In model-driven software development a multitude of interrelated models are used to systematically realize a software system. This results in a complex development process since the models and the relations be...
-
Chapter and Conference Paper
Incremental Model Synchronization for Efficient Run-Time Monitoring
The model-driven engineering community has developed expressive model transformation techniques based on metamodels, which ease the specification of translations between different model types. Thus, it is attr...