Download now Free registration required
The Design Navigator is a tool for reverse-engineering object-oriented programs into formal charts of any level of abstraction. The authors show how the Design Navigator discovers abstract building-blocks in the design of programs and how it visualises them in terms of LePUS3, a formal Design Description Language. They demonstrate why reverse engineering programs into a formal modelling and specification language is not only possible in principle but also of practical benefit. In practice program documentation, if it exists at all, rarely delivers accurate information about programs, which leaves the source code as the only reliable source of information.
- Format: PDF
- Size: 1289.1 KB