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

Descrizione completa

Dettagli Bibliografici
Pubblicato in:Software engineering notes. 31, 1 (2006).
Autore principale: Rountev, Atanas
Natura: Articolo
Lingua:English
Soggetti:
Software.
Software engineering.
Software / Program Verification.
Design tools and techniques.
Object oriented design methods.
Programming languages.
Language classifications.
UML.
Design.
Theory.
Verification.