MODELS
2015
Springer
8 years 8 months ago
2015
Springer
Abstract—The Unified Modeling Language (UML) is a defacto standard for software development and, together with the Object Constraint Language (OCL), allows for a precise descrip...
MODELS
2015
Springer
8 years 8 months ago
2015
Springer
Syntax Adolfo S´anchez-Barbudo Herrera1 , Edward Willink2 , Richard F. Paige1 1 Department of Computer Science, University of York, UK. {asbh500, richard.paige} at york.ac.uk 2 Wi...
MODELS
2015
Springer
8 years 8 months ago
2015
Springer
This paper discusses two ways to establish the connection between two levels in a multi-level model. The first approach uses normal associations and generalizations under the assu...
MODELS
2015
Springer
8 years 8 months ago
2015
Springer
Abstract. Large-scale software projects are often faced with the challenge of enabling the high degree of collaborative and concurrent development required to meet the aggressive d...
MODELS
2015
Springer
8 years 8 months ago
2015
Springer
Many of today’s partially or fully automated medical research systems are rule, or constraint-driven systems that must be analyzed with respect to their rule compliance. We propo...
MODELS
2015
Springer
8 years 8 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 8 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 8 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 8 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 8 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...