APN
2000
Springer
14 years 4 months ago
2000
Springer
Abstract. Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, mos...
APN
2000
Springer
14 years 4 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
14 years 4 months ago
2000
Springer
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
APN
2000
Springer
14 years 4 months ago
2000
Springer
APN
2000
Springer
14 years 4 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 ...
APN
2000
Springer
14 years 4 months ago
2000
Springer
APN
2000
Springer
14 years 4 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 ...