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

Description complète

Détails bibliographiques
Publié dans:Software engineering notes. 31, 1 (2006).
Auteur principal: Rountev, Atanas
Format: Article
Langue:English
Sujets:
Software.
Software engineering.
Software / Program Verification.
Design tools and techniques.
Object oriented design methods.
Programming languages.
Language classifications.
UML.
Design.
Theory.
Verification.