Sciweavers

101
Voted
MODELS
2015
Springer
9 years 11 months ago
Partitioning Embedded Real-Time Control Software based on Communication Dependencies
Electronic Control Units (ECUs), such as for automotive engine control, execute highly interdependent software units. These software units and their interaction are optimized for s...
Martin Lowinski, Dirk Ziegenbein, Sabine Glesner
87
Voted
MODELS
2015
Springer
9 years 11 months ago
Towards User-Friendly and Efficient Analysis with Alloy
Abstract—In model-driven engineering, structural models represent software at the early phases of software development. They are assumed to generate the models in subsequent phas...
Xiaoliang Wang, Adrian Rutle, Yngve Lamo
100
Voted
MODELS
2015
Springer
9 years 11 months ago
Facilitating Migration of Cloud Infrastructure Services: A Model-Based Approach
—In cloud computing, modeling can be used to specify service topologies. Following a model-driven approach provisioning can be automated resulting in a significant reduction of ...
Ta'id Holmes
113
Voted
MODELS
2015
Springer
9 years 11 months ago
Systematically deriving domain-specific transformation languages
Abstract—Model transformations are helpful to evolve, refactor, refine and maintain models. While domain-specific languages are normally intuitive for modelers, common model tr...
Katrin Hölldobler, Bernhard Rumpe, Ingo Weise...
95
Voted
MODELS
2015
Springer
9 years 11 months ago
Exploring Multi-Level Modeling Relations Using Variability Mechanisms
Over the last decade multi-level modeling (MLM) approaches have been addressing the need for relaxing the strict constraints on intra- and interlayer type-instance relationships th...
Iris Reinhartz-Berger, Arnon Sturm, Tony Clark