MODELS
2015
Springer
9 years 11 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
9 years 11 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
9 years 11 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
9 years 11 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...
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
—Reuse is essential in modern software engineering, but limited in the context of MDE by the poor availability of reusable models. On the other hand, reusable code artifacts such...