Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

Abstract Context Model Driven Engineering (MDE) aims to alleviate complexity and improve
reusability in software development. The development of complex software implies to divide …

Since software systems need to be continuously available under varying conditions, their
ability to evolve at runtime is increasingly seen as one key issue. Modern programming …

Multi-view modeling allows a developer to describe a software system from multiple points of
view, eg structural and behavioral, using different modeling notations. Aspect-oriented …

This paper describes MATA (Modeling Aspects Using a Transformation Approach), a UML
aspect-oriented modeling (AOM) technique that uses graph transformations to specify and …

Abstract Model comparison is an essential prerequisite for a number of model management
tasks in Model Driven Engineering, such as model differencing and versioning, model and …

Product derivation, ie reusing core assets to build products, did not receive sufficient
attention from the product-line community, yielding a frustrating situation. On the one hand …

Abstract The use of Feature Models (FMs) to define the valid combinations of features in
Software Product Lines (SPL) is becoming commonplace. To enhance the scalability of FMs …

Rapid technological advances in recent years have precipitated a general shift towards
software distribution as a central computing paradigm. This has been accompanied by a …

Fragmentation of information across instances of different metamodels poses a significant
problem for software developers and leads to a major increase in effort of transformation …