125 search results - page 3 / 25 » Verifying Model Oriented Specifications through Animation |
SIGADA
1998
Springer
13 years 10 months ago
1998
Springer
This experience report demonstrates several running programs with visual, animated, colorful displays of "algorithms in action." A common element of all of the programs ...
SAM
2000
13 years 7 months ago
2000
Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across...
IJSEKE
2002
13 years 6 months ago
2002
through the specification of temporal, spatial and spatio-temporal relations. Moreover, we propose an abstract animation model that can be combined with the intra-media temporal st...
JVCA
2006
13 years 6 months ago
2006
This work proposes a real-time virtual human multimodal expression model. Five modalities explore the affordances of the body: deterministic, non-deterministic, gesticulation, faci...
DEXA
1997
Springer
13 years 10 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...