128
Voted
MODELS
9 years 10 months ago
2015 Springer 
—We present IOPT-Tools, a tool framework for the development of digital controllers based on graphical executable models. The framework supports edition, simulation, verificatio...
114
click to vote
MODELS
9 years 10 months ago
2015 Springer 
Abstract—Model Management addresses the accidental complexity caused by the proliferation of models in software engineering. It provides a high-level view in which entire models ...
104
click to vote
MODELS
9 years 10 months ago
2015 Springer 
—This paper summarizes our research findings on optimizing the symbolic execution of evolving state machines using incremental analysis. I. PROBLEM AND MOTIVATION Model Driven E...
102
Voted
MODELS
9 years 10 months ago
2015 Springer
Abstract—Model transformations are helpful to evolve, refactor, refine and maintain models. While domain-specific languages are normally intuitive for modelers, common model tr...
102
Voted
MODELS
9 years 10 months ago
2015 Springer 
—None of the current plethora of meta-modelling tools includes a complete, explicit model of themselves. Such a model, a precise specification of the tool’s syntax and semanti...
|
Natural Language Processing