Strongest postcondition semantics as the formal basis for reverse engineering

Automated Software Engineering

Volumn 3, Issue 1-2, 1996, Pages 139-164

  Gannod, Gerald C ^a   Cheng, Betty H C ^a  

^a Michigan State University   (United States)

Author keywords

Formal methods; Formal specification; Reverse engineering; Software maintenance

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; OBJECT ORIENTED PROGRAMMING;

FORMAL METHODS; FORMAL SPECIFICATION; REVERSE ENGINEERING; SOFTWARE MAINTENANCE; STRONGEST POSTCONDITION PREDICATE TRANSFORMER;

SOFTWARE ENGINEERING;

EID: 0030168358     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF00126962     Document Type: Article

References (21)

1. Byrne, Eric J. A Conceptual Foundation for Software Re-engineering. In Proceedings for the Conference on Software Maintenance, pages 226-235. IEEE, 1992.
2. Byrne, Eric J. and Gustafson, David A. A Software Re-engineering Process Model. In COMPSAC. IEEE, 1992.
3. Cheng, Betty H. C. Applying formal methods in automated software development. Journal of Computer and Software Engineering, 2(2): 137-164, 1994.
4. Cheng, Betty H.C., and Gannod, Gerald C. Abstraction of Formal Specifications from Program Code. In Proceedings for the IEEE 3rd International Conference on Tools for Artificial Intelligence, pages 125-128. IEEE, 1991.
5. Chikofsky, Elliot J. and Cross, James H. Reverse Engineering and Design Recovery: A Taxonomy. IEEE Software, 7(1):13-17, January 1990.
6. Dijkstra, Edsgar W. A Discipline of Programming. Prentice Hall, 1976.
7. Dijkstra, Edsger W. and Scholten, Carel S. Predicate Calculus and Program Semantics. Springer-Verlag, 1990.
8. Flor, Victoria Slid. Ruling's Dicta Causes Uproar. The National Law Journal, July 1991.
9. Gannod, Gerald C. and Cheng, Betty H.C. A Two Phase Approach to Reverse Engineering Using Formal Methods. Lecture Notes in Computer Science: Formal Methods in Programming and Their Applications, 735:335-348, July 1993.
10. Gannod, Gerald C. and Cheng, Betty H.C. Facilitating the Maintenance of Safety-Critical Systems Using Formal Methods. The International Journal of Software Engineering and Knowledge Engineering, 4(2):183-204, 1994.
11. Gries, David. The Science of Programming. Springer-Verlag, 1981.
12. Haughton, H.P., and Lano, Kevin. Objects Revisited. In Proceedings for the Conference on Software Maintenance, pages 152-161. IEEE, 1991.
13. Hoare, C. A. R. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576-580, October 1969.
14. Jeng, Jun-jang and Cheng, Betty H. C. Using Automated Reasoning to Determine Software Reuse. International Journal of Software Engineering and Knowledge Engineering, 2(4):523-546, December 1992.
15. Katz, Shmuel and Manna, Zohar. Logical Analysis of Programs. Communications of the ACM, 19(4):188-206, April 1976.
16. Lano, Kevin and Breuer, Peter T. From Programs to Z Specifications. In John E. Nicholls, editor, Z User Workshop, pages 46-70. Springer-Verlag, 1989.
17. Leveson, Nancy G. and Turner, Clark S. An Investigation of the Therac-25 Accidents. IEEE Computer, pages 18-41, July 1993.
18. Osborne, Wilma M. and Chikofsky, Elliot J. Fitting pieces to the maintenance puzzle. IEEE Software, 7(1):11-12, January 1990.
19. Ward, M., Calliss, F.W., and Munro, M. The Maintainer's Assistant. In Proceedings for the Conference on Software Maintenance. IEEE, 1989.
20. Wing, Jeannette M. A Specifier's Introduction to Formal Methods. IEEE Computer, 23(9):8-24, September 1990.
21. Yourdon, E. and Constantine, L. Structured Analysis and Design: Fundamentals Discipline of Computer Programs and System Design. Yourdon Press, 1978.