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

وصف كامل

التفاصيل البيبلوغرافية
الحاوية / القاعدة:	Software engineering notes. 29, 6 (2004).
المؤلف الرئيسي:	Zhang, Xiaofang
التنسيق:	مقال
اللغة:	English
الموضوعات:	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.