8 search results - page 1 / 2 » apn 2000 |
APN
2000
Springer
13 years 8 months ago
2000
Springer
APN
2000
Springer
13 years 8 months ago
2000
Springer
APN
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. The Unified Modeling Language (UML) is the de facto industrial standard of an object-oriented modeling language. It consists of several sublanguages which are suited to ...
APN
2000
Springer
13 years 8 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
APN
2000
Springer
13 years 8 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...