Refining code-design mapping with flow analysis.

We address the problem of refining and completing a partially specified high-level design model and a partially-defined mapping from source code to design model. This is related but not identical to tasks that have been automated with a variety of reverse engineering tools to support software modifi...

Full beskrivning

Bibliografiska uppgifter
I publikationen:	Software engineering notes. 29, 6 (2004).
Huvudupphovsman:	Zhang, Xiaofang
Materialtyp:	Artikel
Språk:	English
Ämnen:	Software. Software engineering. Design Tools and Techniques. Distribution, Maintenance, and Enhancement. Restructuring, reverse engineering, and reengineering. Programming languages. Language Constructs and Features. Constraints. Theory of Computation. Logics and meanings of programs. Semantics of Programming Languages. Program analysis. Design. Architecture recovery. Constraint propagation. Flow analysis.