184 search results - page 3 / 37 » uml 2004 |
112
Voted
IASSE
2004
15 years 5 months ago
2004
145
Voted
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
149
Voted
ASWEC
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semant...
80
Voted
FOSAD
2004
Springer
15 years 9 months ago
2004
Springer
