267 search results - page 13 / 54 » A New Approach for Visualizing UML Class Diagrams |
ECMDAFA
2010
Springer
14 years 15 days ago
2010
Springer
Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated...
ER
2004
Springer
14 years 1 months ago
2004
Springer
A sequence diagram in UML is used to model interactions among objects that participate in a use case. Developing a sequence diagram is complex; our experience shows that novice dev...
EDOC
2005
IEEE
14 years 1 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
JOT
2008
13 years 7 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
UML
2001
Springer
14 years 3 days ago
2001
Springer
System testing is concerned with testing an entire system based on its specifications. In the context of object-oriented, UML development, this means that system test requirements ...