Adequate reverse engineering

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 232-241

  Rugaber, Spencer ^a   Shikano, Terry ^a   Stirewalt, R E Kurt ^b  

^a Georgia Institute of Technology   (United States)

^b Michigan State University   (United States)

Author keywords

Adequacy; Algebraic specification; Code generation; Representation; Reverse engineering

Indexed keywords

ALGEBRA; AUTOMATIC PROGRAMMING; CODES (SYMBOLS); REENGINEERING; SOFTWARE DESIGN; SPECIFICATIONS;

ADEQUACY; ALGEBRAIC SPECIFICATIONS; CODE GENERATORS; CODEGENERATION; NUMERICAL APPLICATIONS; REPRESENTATION;

REVERSE ENGINEERING;

EID: 3242670513     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989809     Document Type: Conference Paper

References (14)

1. Guillermo Arango and Rubén Prieto-Díaz. Domain Analysis and Software Systems Modeling. IEEE Computer Society Press, (1991).
2. Victor R. Basili and Harlan D. Mills. Understanding and Documenting Programs. IEEE Transactions on Software Engineering, SE-8(3):270-283, (May 1982).
3. Jonathan P. Bowen, Peter T. Breuer, and Kevin C. Lano. The REDO Project: Final Report. Oxford University Computing Laboratory, PRG-TR-23-91, (1991).
4. G. Dalhquist and Å. Björck. Nonlinear Equations. Numerical Methods, Chapter 6, Prentice-Hall, (1974).
5. G. E. Forsythe, M. A. Malcolm, and C. B. Moler. Solution of Nonlinear Equations. Computer Methods for Mathematical Computations. Chapter 8, Prentice-Hall, (1977).
6. Ian J. Hayes. Applying Formal Specification to Software Development in Industry. IEEE Transactions on Software Engineering. SE-11(2):169-178, (February 1985).
7. Kestrel Institute Specware User Guide, Version 2.0.3, (March 1998).
8. S. Letovsky. Plan Analysis of Programs. Ph.D. Thesis, Yale University, (1988).
9. W. H. Press, S. A. Teukolsky, W. T. Vetterling, and B. P. Flannery. Root Finding and Nonlinear Sets of Equations. Numerical Recipes in C, The Art of Scientific Computing, Second Edition, Chapter 9, Cambridge University Press, (1992).
10. S. Rugaber. The Use of Domain Knowledge in Program Understanding. Annals of Software Engineering, 9:143-192, (2000).
11. Spencer Rugaber, Stephen B. Omburn, and Richard J. LeBlanc, Jr. Recognizing Design Decisions in Programs. IEEE Software, 7(1):46-54, (January 1990).
12. Elaine J. Weyuker. Axiomatizing Software Test Date Adequacy. IEEE Transactions on Software Engineering, SE-12(12):1128-1138, (December 1986).
13. Elaine J. Weyuker. The Evaluation of Program-Based Software Test Date Adequacy Criteria. Communications of the ACM, 31(6):668-675, (June 1988).
14. Jeannette M. Wing. A Specifier's Introduction to Formal Methods. IEEE Computer, 10, (September 1990).