119
click to vote
MODELS
9 years 9 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...
111
click to vote
MODELS
9 years 9 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 ...
97
Voted
MODELS
9 years 9 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...
MODELS
9 years 9 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...
96
Voted
MODELS
9 years 9 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...
|
Natural Language Processing