Strongest postcondition semantics as the formal basis for reverse engineering |
| |
Authors: | Gerald C Gannod Betty H C Cheng |
| |
Affiliation: | 1. Department of Computer Science, Michigan State University, 48824-1027, East Lansing, Michigan, USA
|
| |
Abstract: | Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be in a “legacy” or “geriatric” state. Changing architectures and improvements in programming methods, including formal methods in software development and object-oriented programming, have prompted a need to reverse engineer and re-engineer program code. This paper describes the application of the strongest postcondition predicate transformer (sp) as the formal basis for the reverse engineering of imperative program code. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|