9 search results - page 1 / 2 » fase 2003 |
FASE
2003
Springer
13 years 10 months ago
2003
Springer
FASE
2003
Springer
13 years 10 months ago
2003
Springer
FASE
2003
Springer
13 years 10 months ago
2003
Springer
FASE
2003
Springer
13 years 10 months ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
FASE
2003
Springer
13 years 10 months ago
2003
Springer
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...