MODELS
2015
Springer
8 years 7 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...
MODELS
2015
Springer
8 years 7 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...
MODELS
2015
Springer
8 years 7 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 ...
MODELS
2015
Springer
8 years 7 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...
MODELS
2015
Springer
8 years 7 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...
MODELS
2015
Springer
8 years 7 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 ...
MODELS
2015
Springer
8 years 7 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...
MODELS
2015
Springer
8 years 7 months ago
2015
Springer
Query Structured Model Transformation (QueST) is a framework for defining source-to-target Model Transformations (MTs) in a structured and declarative manner. In this paper, we s...
MODELS
2015
Springer
8 years 7 months ago
2015
Springer
In traditional Model-Driven Engineering (MDE) models are instantiated from metamodels. In contrast, in Flexible MDE, language engineers initially create example models of the envis...
MODELS
2015
Springer
8 years 7 months ago
2015
Springer
Abstract—Graphical diagrams are an excellent source of information for understanding models. On the other hand, editing, storing and versioning models are more efficient in text...