9 search results - page 1 / 2 » fase 2003 |
155
Voted
FASE
2003
Springer
15 years 10 months ago
2003
Springer
130
Voted
FASE
2003
Springer
15 years 10 months ago
2003
Springer
137
Voted
FASE
2003
Springer
15 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,...
145
click to vote
FASE
2003
Springer
15 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...