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...

Täydet tiedot

Bibliografiset tiedot
Julkaisussa:Software engineering notes. 31, 1 (2006).
Päätekijä: Rountev, Atanas
Aineistotyyppi: Artikkeli
Kieli:English
Aiheet:
Software.
Software engineering.
Software / Program Verification.
Design tools and techniques.
Object oriented design methods.
Programming languages.
Language classifications.
UML.
Design.
Theory.
Verification.