MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—This contribution proposes a new technique for developing test cases for UML and OCL models. The technique is based on an approach that automatically constructs object models fo...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—Model-Integrating Software Components (MoCos) use models at runtime as first class entities within components to build flexible and adaptive software systems. Building such sy...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—This paper has two purposes: first, it discusses one approach that shows how modeling and in particular information systems modeling techniques are employed within a traditiona...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
— In a software development process, normally different stakeholders have different system views at different abstraction levels. This heterogeneity when applying the ModelDriven...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Abstract—Metamodels are used to define languages, code generation and they serve as data structures for metamodel-centric software systems. In software engineering, these metamo...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—Safety-critical Cyber-Physical Systems (CPS) are growing increasingly more distributed, autonomous, and embedded in our society. CPS engineering relies on modeling methods from ...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Abstract. Models are means for unification and UML was born with the ambition of providing “unified” modelling language and methodology. The myriad of competing proprietary t...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Abstract—A variety of tools today support the dynamic execution/simulation of models within a single modeling environment. However, they all suffer from limitations resulting fro...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Abstract. In the last decade, there have been several fundamental advances in the field of ontological and linguistic metamodelling. They the use of megamodels to link abstract, d...