11 search results - page 1 / 3 » Control Flow Analysis of UML 2.0 Sequence Diagrams |
ECMDAFA
2005
Springer
13 years 10 months ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
PASTE
2005
ACM
13 years 10 months ago
2005
ACM
UML sequence diagrams are commonly used to represent the interactions among collaborating objects. Reverse-engineered sequence diagrams are constructed from existing code, and hav...
ER
2005
Springer
13 years 10 months ago
2005
Springer
ESORICS
2008
Springer
13 years 6 months ago
2008
Springer
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
METRICS
2002
IEEE
13 years 9 months ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...