Sciweavers

MODELS
2015
Springer
8 years 18 days ago
An OCL-based Bridge from Concrete to Abstract Syntax
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...
Adolfo Sánchez-Barbudo Herrera, Edward D. W...
MODELS
2015
Springer
8 years 18 days ago
Experimenting with Multi-Level Models in a Two-Level Modeling Tool
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...
Martin Gogolla
MODELS
2015
Springer
8 years 18 days ago
Property-Based Methods for Collaborative Model Development
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...
Marsha Chechik, Fabiano Dalpiaz, Csaba Debreceni, ...
MODELS
2015
Springer
8 years 18 days ago
Analyzing Regulatory Conformance in Medical Research Systems Using Multi-Paradigm Modeling
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...
Phillipa Bennett, Wuliang Sun, Wade Ted, Geri Geor...
MODELS
2015
Springer
8 years 18 days ago
Analytic Dependency Loops in Architectural Models of Cyber-Physical Systems
Abstract—Rigorous engineering of safety-critical CyberPhysical Systems (CPS) requires integration of heterogeneous modeling methods from different disciplines. It is often necess...
Ivan Ruchkin, Bradley R. Schmerl, David Garlan
MODELS
2015
Springer
8 years 18 days ago
A unifying approach to connections for multi-level modeling
Abstract—Capturing relationships between concepts in a domain is as important as capturing the concepts themselves. Modeling languages reflect this by providing connections with...
Colin Atkinson, Ralph Gerbig, Thomas Kühne
MODELS
2015
Springer
8 years 18 days ago
Towards a Unifying Approach for Performance-Driven Software Model Refactoring
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...
Davide Arcelli, Vittorio Cortellessa, Daniele Di P...
MODELS
2015
Springer
8 years 18 days ago
A Vision on a New Generation of Software Design Environments
— 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...
Michel R. V. Chaudron, Rodi Jolak
MODELS
2015
Springer
8 years 18 days ago
Managing Distributed Context Models Requires Adaptivity too
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...
Christian Piechnick, Maria Piechnick, Sebastian G&...
MODELS
2015
Springer
8 years 18 days ago
Modeling user intentions for in-car infotainment systems using Bayesian networks
—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...
Daniel Lüddecke, Christoph Seidl, Jens Schnei...