184 search results - page 3 / 37 » uml 2004 |
IASSE
2004
13 years 6 months ago
2004
EHCI
2001
13 years 6 months ago
2001
SPIN
2004
Springer
13 years 10 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...
ASWEC
2004
IEEE
13 years 9 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...
FOSAD
2004
Springer
13 years 10 months ago
2004
Springer
