83
Voted
MODELS
2015
Springer
9 years 11 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...
79
Voted
MODELS
2015
Springer
9 years 11 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
9 years 11 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
9 years 11 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
9 years 11 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...