337 search results - page 7 / 68 » An Axiomatic Formalization of UML Models |
ECEASST
2008
14 years 11 months ago
2008
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...
HASE
2008
IEEE
15 years 6 months ago
2008
IEEE
— UML 1 sequence diagrams have been widely employed for modeling software requirements and design. UML 2 introduced many new features, such as Combined Fragments, to make sequenc...
ICSM
2005
IEEE
15 years 5 months ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...
KBSE
2002
IEEE
15 years 4 months ago
2002
IEEE
ICECCS
2009
IEEE
15 years 6 months ago
2009
IEEE
