184 search results - page 3 / 37 » uml 2004 |
71
Voted
IASSE
2004
14 years 11 months ago
2004
63
Voted
EHCI
2001
14 years 11 months ago
2001
SPIN
2004
Springer
15 years 2 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
15 years 1 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
15 years 3 months ago
2004
Springer
