MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Abstract—Rigorous engineering of safety-critical CyberPhysical Systems (CPS) requires integration of heterogeneous modeling methods from different disciplines. It is often necess...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Abstract—Capturing relationships between concepts in a domain is as important as capturing the concepts themselves. Modeling languages reflect this by providing connections with...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Abstract. Performance is a pervasive quality attribute of software systems. Since it plays a key role in the success of many projects, it is important to introduce approaches aimed...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
— In this paper we explain our vision for a new generation of software design environments. We aim to generalize existing software development tools in several key ways – which...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Mobile devices changed the way how software is developed fundamentally, because the changing context in which those devices are used, influences the requirements of apps running o...
MODELS
2015
Springer
8 years 6 months 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 6 months 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 6 months 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 6 months 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 6 months 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...