87
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. Beside strict linguistic commitments of models to metamodels, documents to schemata, programs to grammars and activities to protocols, we often require or crave more fle...
85
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
Current model manipulation programs more and more have to cope with multiple metamodel versions. This includes tool integration scenarios and language evolution scenarios where new...
93
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
—The paper presents an experience report in course design for a versatile group of computer science students where their needs were surfaced and met by the combination of strict ...
82
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
Abstract—Behavioral types for space-aware systems are proposed as a means to facilitate the development, commissioning, maintenance, and refactoring of systems with cyber-physica...
74
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
—Programmers spend a large portion of their time debugging the code they write. This is supported by a variety of debugging techniques such as pause/resume, the setting of breakp...
90
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
Abstract—The selection of a suitable modelling language influences the success of software modelling. Several experiments comparing the comprehensibility of graphical modelling ...
108
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
—Cloud computing, the architecture which shares dynamic heterogeneous characteristics in the cross-layer service composition, has affected traditional security, trust and privacy...
89
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. Many applications that are developed do not completely fulfil the requirements of their stakeholders. This can be a result of inadequate requirements elicitation and poo...
100
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
—The Atlas Transformation Language (ATL) is today a de-facto standard in model-driven development. It is understood by the community that methods for exhaustively verifying such ...
92
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
The central concern of the CLARITY project is to support open innovation for Model-Based Systems Engineering by structuring an ecosystem of major actors of the domain and providing...