Strongest postcondition semantics as the formal basis for reverse engineering
Tóm tắt
Từ khóa
Tài liệu tham khảo
Byrne, Eric J. A Conceptual Foundation for Software Re-engineering. In Proceedings for the Conference on Software Maintenance, pages 226–235. IEEE, 1992.
Byrne, Eric J. and Gustafson, David A. A Software Re-engineering Process Model. In COMPSAC. IEEE, 1992.
Cheng, Betty H. C. Applying formal methods in automated software development. Journal of Computer and Software Engineering, 2(2):137–164, 1994.
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.
Chikofsky, Elliot J. and Cross, James H. Reverse Engineering and Design Recovery: A Taxonomy. IEEE Software, 7(1):13–17, January 1990.
Dijkstra, Edsgar W. A Discipline of Programming. Prentice Hall, 1976.
Dijkstra, Edsger W. and Scholten, Carel S. Predicate Calculus and Program Semantics. Springer-Verlag, 1990.
Flor, Victoria Slid. Ruling's Dicta Causes Uproar. The National Law Journal, July 1991.
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.
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.
Haughton, H.P., and Lano, Kevin. Objects Revisited. In Proceedings for the Conference on Software Maintenance, pages 152–161. IEEE, 1991.
Hoare, C. A. R. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576–580, October 1969.
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.
Katz, Shmuel and Manna, Zohar. Logical Analysis of Programs. Communications of the ACM, 19(4):188–206, April 1976.
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.
Leveson, Nancy G. and Turner, Clark S. An Investigation of the Therac-25 Accidents. IEEE Computer, pages 18–41, July 1993.
Osborne, Wilma M. and Chikofsky, Elliot J. Fitting pieces to the maintenance puzzle. IEEE Software, 07(1):11–12, January 1990.
Ward, M., Calliss, F.W., and Munro, M. The Maintainer's Assistant. In Proceedings for the Conference on Software Maintenance. IEEE, 1989.
Wing, Jeannette M. A Specifier's Introduction to Formal Methods. IEEE Computer, 23(9):8–24, September 1990.
Yourdon, E. and Constantine, L. Structured Analysis and Design: Fundamentals Discipline of Computer Programs and System Design. Yourdon Press, 1978.