135
click to vote
MODELS
9 years 11 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...
123
click to vote
MODELS
9 years 11 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 ...
111
click to vote
MODELS
9 years 11 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...
109
click to vote
MODELS
9 years 11 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...
108
click to vote
MODELS
9 years 11 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