Navigating Through the Design of Object-Oriented Programs

Abstract. The Design Navigator is a tool for reverseengineering object-oriented programs into formal charts evel of abstraction. We show how the Design r discovers abstract building-blocks in the design of programs and how it visualises themin terms of LePUS3, a formal Design Description Language. We demonstrate why reverse engineering programs into a formal modelling and specification language is not only possible in principle but also of practical benefit.

• Type: Conference
• Year: 2008
• Where: WCRE
• Authors: Epameinondas Gasparis, Jonathan Nicholson, Amnon H. Eden, Rick Kazman
• Keywords: Formal Charts, Formal Design Description, Reverse Engineering, Reverse Engineering Programs, WCRE 2008