6040 search results - page 307 / 1208 » Generating Instance Models from Meta Models |
94
Voted
ENTCS
2006
15 years 18 days ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
123
click to vote
SPIN
2012
Springer
13 years 3 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
COMPSAC
2004
IEEE
15 years 4 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
107
Voted
IEEECIT
2006
IEEE
15 years 6 months ago
2006
IEEE
Recently, adaptive course generation has been focusing by several researchers. We have built ACGs system to create adaptive courses for each learner based on evaluating demand, ab...
92
Voted
ICPR
2006
IEEE
16 years 1 months ago
2006
IEEE
In many cases x-ray images are the only basis for surgery planning. Nevertheless it is desirable to draw conclusions about the 3D-anatomy of the patient from such data. This work ...