Gerald C. Gannod  Home/Search
Context
Related
| asu.edu/~gannod/Papers/thesis.ps.gz msu.edu/~gannod/papers/thesis.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: asu.edu/~gannod/pubs (more) From: msu.edu/~gannod/pubs (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: OF A THESIS Submitted to Michigan State University in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE Computer Science Department May 1994 Advisor: Professor Betty H. C. Cheng ABSTRACT The Application of Formal Methods to the Reverse Engineering of Imperative Program Code By Gerald C. Gannod Formal methods in software development provide many benefits in the forward engineering aspect of software development. One of the advantages of using formal methods in... (Update)
Similar documents (at the sentence level): More
14.8%: Facilitating the Maintenance of Safety-Critical Systems - Gannod, Cheng (1994) (Correct)
10.6%: Strongest Postcondition Semantics as the Formal Basis for.. - Gannod, Cheng (1996) (Correct)
7.8%: A Two-Phase Approach to Reverse Engineering Using Formal Methods - Gannod, Cheng (1993) (Correct)
Active bibliography (related documents): More All
0.5: Techniques for Reverse-Engineering and Re-Engineering into the.. - Silva-Lepe (1994) (Correct)
0.5: Using Informal and Formal Techniques for the Reverse.. - Gannod, Cheng (1996) (Correct)
0.5: Design Recovery Through Formal Specification - Lim, Harrison, Bailes, Berglas (1998) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.2: Evolution of Java Programs to a Model-Driven Environment Using.. - Gannod, Carey (Correct)
0.1: ENFORMS: A Distributed, Multimedia Environmental.. - Sharnowski, Gannod, Cheng (1995) (Correct)
0.1: A Framework for Classifying and Comparing Software Reverse.. - Gannod, Cheng (1999) (Correct)
BibTeX entry: (Update)
@misc{ gannod-application,
author = "Gerald C. Gannod",
title = "The Application of Formal Methods to the Reverse Engineering of Imperative
Program Code",
url = "citeseer.ist.psu.edu/gannod94application.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
689 Systematic Software Development Using VDM - Jones - 1990
652 A Discipline of Programming (context) - Dijkstra - 1976
650 An axiomatic basis for computer programming (context) - Hoare - 1969
616 Notation: A Reference Manual (context) - Spivey - 1987
275 The Science of Programming (context) - Gries - 1981
268 Larch: Languages and Tools for Formal Specification (context) - Guttag, Horning - 1993 ACM
267 Software Engineering A Practitioner's Approach (context) - Pressman - 1992
214 Reverse Engineering and Design Recovery: A Taxonomy (context) - Chikofsky - 1990
204 KIDS: A Semi-automatic Program Development System - Smith - 1990
154 A Specifier's Introduction to Formal Methods (context) - Wing - 1990
141 Predicate Calculus and Program Semantics (context) - Dijkstra, Scholten - 1990
123 Seven myths of formal methods (context) - Hall - 1990 ACM DBLP
45 The programming language Pascal (context) - Wirth - 1971 ACM DBLP
42 The Maintainer's Assistant (context) - Ward, Calliss et al. - 1989
42 Rationale for the Design of the Ada Programming Language (context) - Ichbiah - 1979 ACM
37 Identifying Objects in a Conventional Procedural Language: A.. (context) - Liu, Wilde - 1990
35 Re-engineering of old systems to an object-oriented architec.. (context) - Lindstrom - 1991
34 Structured Programming: Theory and Practice (context) - Linger, Mills et al. - 1979
23 Using Function Abstraction to Understand Program Behavior (context) - Hausler, Pleszkock et al. - 1990 ACM DBLP
23 Programming Languages: Design and Implementation (context) - Pratt - 1984
22 An Investigation of the Therac-25 Accidents (context) - Leveson, Turner - 1993
21 Integrating Formal Methods into the Development Process (context) - Kemmerer - 1990
14 An Introduction to the WSL Program Transformer (context) - Bull - 1990
14 A Conceptual Foundation for Software Re-engineering (context) - Byrne - 1992
13 Object-Oriented Software (context) - Winblad, Edwards et al. - 1990 ACM
13 A Reverse Engineering Methodology to Reconstruct Hierarchica.. (context) - Benedusi, Cimitile et al. - 1989
13 A Two Phase Approach to Reverse Engineering Using Formal Met.. - Gannod, Cheng - 1993
12 New Jersey: Prentice Hall (context) - Rumbaugh, Blaha et al. - 1991
11 Objects Revisited (context) - Haughton, Lano - 1991
11 Synthesis of Procedural Abstractions from Formal Specificati.. (context) - Cheng - 1991
10 Applications of formal methods: Developing virtuoso software (context) - Gerhart - 1990
8 Abstraction of Formal Specifications from Program Code - Cheng, Gannod - 1991
7 Fitting pieces to the maintenance puzzle (context) - Osborne, Chikofsky - 1990
5 Facilitating the Maintenance of Safety-Critical Systems Usin.. - Gannod, Cheng - 1994
5 A Software Re-engineering Process Model (context) - Byrne, Gustafson - 1992
4 Formal Methods in Software Engineering (context) - Leveson - 1990
3 Ruling's Dicta Causes Uproar (context) - Flor - 1991
3 Extracting Design and Functionality from Code (context) - Lano, Haughton - 1992
2 Software Engineering (context) - Bauer - 1972
2 Test Results for the Reverse-Engineering Tool Set (context) - Lano - 1991
2 Pascal Programming and Problem Solving (context) - Leestma, Nyhoff - 1987
2 Formal Approaches to Reverse-Engineering (context) - Lano - 1991
2 A Knowledge-Based System for Software Maintenance - Calliss, Khalil et al. - 1988
1 A Formal Semantics for the Integration of Object and Dynamic.. (context) - Bourdeau, Cheng - 1993
Documents on the same site (http://www.public.asu.edu/~gannod/pubs.html): More
Strongest Postcondition Semantics as the Formal Basis for.. - Gannod, CHENG (1996) (Correct)
Strongest Postcondition Semantics as the Formal Basis for.. - Gannod, Cheng (1996) (Correct)
PACKRAT: A Software Reengineering Case Study - Gannod, Sudindranath, Fagnani, .. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC