Computer algebra: symbolic and algebraic computation (2nd ed.)
Computer algebra: symbolic and algebraic computation (2nd ed.)
Principles of information systems analysis and design
Principles of information systems analysis and design
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
A Logic-Based Approach to Reverse Engineering Tools Production
IEEE Transactions on Software Engineering - Special issue on software maintenance
Forging a silver bullet from the essence of software
IBM Systems Journal
A possible approach to object-oriented reengineering of Cobol programs
ACM SIGSOFT Software Engineering Notes
A Knowledge-Based Approach to the Analysis of Loops
IEEE Transactions on Software Engineering
Reverse engineering and system renovation—an annotated bibliography
ACM SIGSOFT Software Engineering Notes
Understanding natural programs using proper decomposition
ICSE '91 Proceedings of the 13th international conference on Software engineering
Reverse engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Automatic Problem Description from Model Program for Knowledge-based Programming Tutor
Automated Software Engineering
Reengineering procedural into object-oriented systems
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Extracting object-oriented specification from procedurally oriented programs
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Qualifying reusable functions using symbolic execution
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Reverse engineering as a bridge to CASE
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
Slicing Functional Components from Data-Intensive Business Programs
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Box-structured methods for systems development with objects
IBM Systems Journal
The impacts of function extraction technology on program comprehension: A controlled experiment
Information and Software Technology
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
| Hi-index | 0.01 |
The authors explain how to understand programs by abstracting program function. This abstraction is made possible by the algebraic structure and mathematical properties of structured programs. They describe an abstraction algorithm that provides a basis for a tool for automatic abstraction of program functions. They also explore what the goals of a program-abstraction tool should be. A miniature Cobol program for a banking application is used as an example.