MODELS
2015
Springer
8 years 5 days ago
2015
Springer
—To support users in operating a computer system with a varying set of functions, it is fundamental to understand their intentions, e.g., within an in-car infotainment system. Al...
MODELS
2015
Springer
8 years 5 days ago
2015
Springer
Abstract. Structural models are often augmented with additional wellformedness constraints to rule out unwanted configurations of instances. These constraints are usually written ...
MODELS
2015
Springer
8 years 5 days ago
2015
Springer
While many open-source modeling tools have traditionally been mostly the basis for building commercial tools on top, we recently observe an increasing direct adoption of those unde...
MODELS
2015
Springer
8 years 5 days ago
2015
Springer
Even after the advance of model driven engineering, reusable tool integration remains one of the greatest software engineering challenges. As we venture toward generic heterogeneou...
MODELS
2015
Springer
8 years 5 days ago
2015
Springer
Abstract—This paper presents tooling concepts in AUTOFOCUS 3 supporting the development of software-intensive embedded system design. AUTOFOCUS 3 is a highly integrated model-bas...
MODELS
2015
Springer
8 years 5 days ago
2015
Springer
—This paper describes a model-based test generation approach for testing autonomous systems interacting with their environment (i.e., world). Unlike other approaches that assume ...
MODELS
2015
Springer
8 years 5 days ago
2015
Springer
—Featured Transition Systems (FTSs) is a popular representation for software product lines: an entire product line is compactly represented as a single transition-machine model, ...
MODELS
2015
Springer
8 years 5 days ago
2015
Springer
Abstract. Today’s industrial product lines in the automotive and construction equipment domain face the challenge to show functional safety standard compliance and argue for the ...
MODELS
2015
Springer
8 years 5 days ago
2015
Springer
Abstract. Multi-level meta-modeling hinges on the precise conceptualization of the instantiation relation between elements of the meta-model and the model. In this paper, we propos...
MODELS
2015
Springer
8 years 5 days ago
2015
Springer