ACM Home Page
Please provide us with feedback. Feedback
Reverse engineering of legacy code exposed
Full text PdfPdf (600 KB)
Source International Conference on Software Engineering archive
Proceedings of the 17th international conference on Software engineering table of contents
Seattle, Washington, United States
Pages: 327 - 331  
Year of Publication: 1995
ISBN:0-89791-708-1
Authors
Bruce W. Weide  Department of Computer and Information Science, The Ohio State University, Columbus, OH
Wayne D. Heym  Department of Computer and Information Science, The Ohio State University, Columbus, OH
Joseph E. Hollingsworth  Department of Computer Science, Indiana University Southeast, New Albany, IN
Sponsors
IEEE-CS\TCSE : TC on Software Engineering
SIGSOFT: ACM Special Interest Group on Software Engineering
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 8,   Downloads (12 Months): 31,   Citation Count: 4
Additional Information:

references   cited by   index terms   collaborative colleagues  

Tools and Actions: Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/225014.225045
What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
0
Andersen, H.C. The Emperor's New Clothes: A Fairy Tale, Addison-Wesley, Reading, MA, 1973.
 
1
2
 
3
 
4
Cook, S.A. Soundness and completeness of an axiom system for program verification. SIAM J. Comp. 7, 1 (Feb. 1978), 70-90.
 
5
 
6
 
7
 
8
 
9
Hopkins, J.E., and Sitaraman, M. Software quality is inversely proportional to potential local verification effort. Proc. 6th Ann. Workshop on Software Reuse, Owego, NY, Nov. 1993.
10
 
11
 
12
13
 
14
15
 
16
 
17
Weide, B. W., Heym, W. D., and Ogden, W.F. Procedure calls and local certifiability of component correctness. Proc. 6th Ann. Workshop on Software Reuse, Owego, NY, Nov. 1993.
 
18
Weide, B. W., and Hollingsworth, J. E., On Local Certifiability of Software Components, tech. report 0SU-CISRC-l/94-TR04, Dept. of Comp. and Inf. Sci., Ohio State Univ., Columbus, OH, Jan. 1994; available from "ftp.cis .ohio-state.edu" in "/pub/tech -report/ 1994/TROl .ps.gz".
 
19
Weide, B. W., Heym, W. D., and Hollingsworth, J.E., Reverse Engineering of Legacy Code is Intractable, tech. report OSU-CISRC- 10/94 -TR55, Dept. of Comp. and Inf. Sci., Ohio State Univ., Columbus, OH, Oct. 1994; available from "ftp.cis.ohio-state. edu" in "/pub/tech-reportJ1994/TR55.ps,gz".
 
20


Collaborative Colleagues:
Bruce W. Weide: colleagues
Wayne D. Heym: colleagues
Joseph E. Hollingsworth: colleagues