System Structure Analysis: Clustering with Data Bindings
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
Discovering, visualizing, and controlling software structure
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
The programmer's apprentice
Communications of the ACM
Automated program recognition by graph parsing
Automated program recognition by graph parsing
Automated support for legacy code understanding
Communications of the ACM
Program understanding and the concept assignment problem
Communications of the ACM
A memory-based approach to recognizing programming plans
Communications of the ACM
Automated support for encapsulating abstract data types
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
An intelligent tool for re-engineering software modularity
ICSE '91 Proceedings of the 13th international conference on Software engineering
Intention-Based Diagnosis of Errors in Novice Programs
Intention-Based Diagnosis of Errors in Novice Programs
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Recognizing Design Decisions in Programs
IEEE Software
Program Improvement by Automatic Redistribution of Intermediate Results
Program Improvement by Automatic Redistribution of Intermediate Results
Automatic Control Understanding for Natural Programs
Automatic Control Understanding for Natural Programs
Plan analysis of programs
Reliable software through composite design
Reliable software through composite design
Delocalized Plans and Program Comprehension
IEEE Software
Understanding and Documenting Programs
IEEE Transactions on Software Engineering
A Method for Analyzing Loop Programs
IEEE Transactions on Software Engineering
A formal representation for plans in the programmer's apprentice
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
A specification matching based approach to reverse engineering
Proceedings of the 21st international conference on Software engineering
Formal Methods for the Re-Engineering of Computing Systems: A Comparison
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Second-order constraints in dynamic invariant inference
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
| Hi-index | 0.00 |
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 (strongest postcondition) as the formal basis for the reverse engineering of imperative program code.