103
Voted
MODELS
2015
Springer
9 years 11 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...
91
Voted
MODELS
2015
Springer
9 years 11 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...
83
Voted
MODELS
2015
Springer
9 years 11 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 ...
86
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
83
Voted
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...
82
Voted
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...
83
Voted
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...
87
Voted
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...
87
Voted
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...
88
Voted
MODELS
2015
Springer
9 years 11 months ago
2015
Springer
Code smells in traditional software artifacts are common symptoms of the violation of fundamental design principles which negatively impact the quality of the resulting software pr...