Static control-flow analysis for reverse engineering of UML sequence diagrams.

Static control-flow analysis for reverse engineering of UML sequence diagrams.

UML sequence diagrams are commonly used to represent the interactions among collaborating objects. Reverse-engineered sequence diagrams are constructed from existing code, and have a variety of uses in software development, maintenance, and testing. In static analysis for such reverse engineering, a...

Full beskrivning

Bibliografiska uppgifter
I publikationen:Software engineering notes. 31, 1 (2006).
Huvudupphovsman: Rountev, Atanas
Materialtyp: Artikel
Språk:English
Ämnen:
Software.
Software engineering.
Software / Program Verification.
Design tools and techniques.
Object oriented design methods.
Programming languages.
Language classifications.
UML.
Design.
Theory.
Verification.