807 search results - page 41 / 162 » Model Transformation Language MOLA |
143
click to vote
CL
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
123
click to vote
ESEC
1997
Springer
15 years 6 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
115
click to vote
ECMDAFA
2005
Springer
15 years 7 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
116
click to vote
CLEIEJ
2010
14 years 11 months ago
2010
Global Model Management (GMM) is a model-based approach for managing large sets of interrelated heterogeneous and complex MDE artifacts. Such artifacts are usually represented as ...
123
click to vote
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...