The first part of the book presents the fundamentals in a precise, yet largely informal way.
Besides serving as prerequisite for describing the applications in the second part, it also …

Level crossings (LCs) are considered to be a safety black spot for railway transportation
since LC accidents/incidents dominate the railway accident landscape in Europe, thus …

Software models are the core development artifact in model-based engineering (MBE). The
MBE paradigm promotes the use of software models to describe structure and behavior of …

Abstract Model-driven engineering (MDE) has proved to be a useful approach to cope with
today's ever-growing complexity in the development of software systems; nevertheless, it is …

Abstract Model transformations are a key concept within model driven development and
there is an enormous need for suitable formal analysis techniques for model …

Abstract In Model-Driven Engineering (MDE) models are first-class entities that are
manipulated by means of model transformations. The development of complex and large …

Software evolution and the resulting need to continuously adapt the software is one of the
main challenges for software engineering. The model-driven development movement …

In model-driven software development, models and model refinements are used to create
software. To automatically generate correct software from abstract models by means of …

Abstract In Model Driven Software Engineering, models and model transformations are the
primary artifacts when develo** a software system. In such a workflow, model …

CADS (cooperative autonomous driving systems) are software‐intensive and safety‐critical
reactive systems and give great promise to our daily life, but system errors may not be …