MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Multi-paradigm modeling settings inherently and frequently cause inconsistencies between models in dierent languages involved in the design. The proper management of inconsistenci...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—As Model-Driven Engineering is becoming adopted by industry, models and model transformations (MTs) are extensively used. Hence, there is the urgent need for systematic testing ...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
In model-driven development, an evolving metamodel as part of a changing software system requires the adaptation of interrelated artifacts, such as, model-to-text (M2T) transforma...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Abstract—This paper describes research investigating two complementary optimization techniques that leverage the similarities between state machines versions to reduce the cost o...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—Software system are typically available in a rich set of variants nowadays to deal with differing customer or environmental requirements and application contexts. Managing such ...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—Model Driven Engineering (MDE) is essentially based in metamodel definition, model edition and the specification of model transformations (MT) among these. In many cases the d...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
Model finders enable numerous verification approaches based on searching the existence of models satisfying certain properties of interest. One of such approaches is anATLyzer, a...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—Development of high-level supervisory controllers is an important challenge in the design of high-tech systems. It has become a significant issue due to increased complexity, c...
MODELS
2015
Springer
8 years 6 months ago
2015
Springer
—Model-Driven Engineering (MDE) promotes models throughout development. However, models may become large and unwieldy even for small to medium-sized systems. This paper tackles t...