Gerald C. Gannod, Betty H. C. Cheng  Home/Search
Context Related
| msu.edu/~gannod/papers/icsm96.ps.gz msu.edu/pub/serg/reverse/icsm96.ps asu.edu/~gannod/Papers/icsm96.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: msu.edu/~gannod/pubs (more) From: msu.edu (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be in a "legacy" or "geriatric" state. Changing architectures and improvements in programming methods, including formal methods in software development and object-oriented programming, have prompted a need to reverse engineer and re-engineer program code. At the same time, there is a need to preserve the functionality of ... (Update)
Context of citations to this paper: More
.... cations (e.g. by Hoare or Dijkstra style weakest precondition or strongest postcondition techniques see for example Gannod and Cheng [5]) from legacy code so that it may be further manipulated. It is claimed that a type based approach can be used for gross level...
...code constructions and styles. Examples of program transformation tools include the Maintainer s Assistant [BBY92, WB93] AutoSpec[GC96] Semantic Designs the Design Maintenance System [Bax97] Reasoning Systems Refine[BKM90] which has evolved into the Reasoning5 Code...
Cited by: More
Pigs from Sausages? Reengineering from Assembler to C via FermaT.. - Ward (2004) (Correct)
Converting Informal Meta-data to VDM-SL: A Reverse.. - Neves, Silva, Oliveira (1999) (Correct)
An Experiment in Reverse Engineering Using Algebraic.. - Williams-Preston (1997) (Correct)
Similar documents (at the sentence level): More
40.8%: Integrating Informal And Formal Techniques To Reverse Engineer.. - Gannod (1998) (Correct)
13.7%: Strongest Postcondition Semantics as the Formal Basis for.. - Gannod, CHENG (1996) (Correct)
9.6%: A Formal Approach for Reverse Engineering: A Case Study - Gannod, Cheng (Correct)
Active bibliography (related documents): More All
0.5: PACKRAT: A Software Reengineering Case Study - Gannod, Sudindranath, Fagnani, .. (Correct)
0.5: The Application of Formal Methods to the Reverse Engineering of.. - Gannod (1994) (Correct)
0.2: A Two-Phase Approach to Reverse Engineering Using Formal Methods - Gannod, Cheng (1993) (Correct)
Similar documents based on text: More All
0.1: ENFORMS: A Distributed, Multimedia Environmental.. - Sharnowski, Gannod, Cheng (1995) (Correct)
0.1: Facilitating the Maintenance of Safety-Critical Systems - Gannod, Cheng (1994) (Correct)
0.0: Aura: An Architectural Framework for User Mobility in.. - Sousa, Garlan (2002) (Correct)
Related documents from co-citation: More All
2: A program transformation approach to automating software re-engineering (context) - Burson, Kotik et al. - 1990
2: Reverse Engineering is Reverse Forward Engineering - Baxter, Mehlich - 1997
2: An Introduction to the WSL Program Transformer (context) - Bull - 1990
BibTeX entry: (Update)
Gannod, G.C. and Cheng, H.C. (1996). Using Informal and Formal Techniques for Reverse Engineering of C Programs. Proc. of the 3 rd Working Conference on Reverse Engineering, Monterey, California, Nov 8-10, pp. 249-258. http://citeseer.ist.psu.edu/gannod96using.html More
@inproceedings{ gannod96using,
author = "Gerald C. Gannod and Betty H. C. Cheng",
title = "Using Informal and Formal Techniques for the Reverse Engineering of C Programs",
booktitle = "Working Conference on Reverse Engineering",
pages = "249-258",
year = "1996",
url = "citeseer.ist.psu.edu/gannod96using.html" }
Citations (may not include all citations):650 An axiomatic basis for computer programming (context) - Hoare - 1969
476 Programming Language (context) - Kernighan, Ritchie - 1988
154 A Specifier's Introduction to Formal Methods (context) - Wing - 1990
141 Predicate Calculus and Program Semantics (context) - Dijkstra, Scholten - 1990
42 The Maintainer's Assistant (context) - Ward, Calliss et al. - 1989
14 A Conceptual Foundation for Software Reengineering (context) - Byrne - 1992
11 Objects Revisited (context) - Haughton, Lano - 1991
8 Structured Analysis and Design: Fundamentals Discipline of C.. (context) - Yourdon, Constantine - 1978
7 Fitting pieces to the maintenance puzzle (context) - Osborne, Chikofsky - 1990
5 Applying Formal Methods and Object-Oriented Analysis to Exis.. - Cheng, Auernheimer - 1993
5 Facilitating the Maintenance of Safety-Critical Systems Usin.. - Gannod, Cheng - 1994
5 Applying formal methods in automated software engineering (context) - Cheng - 1994
5 Strongest Postcondition as the Formal Basis for Reverse Engi.. (context) - Gannod, Cheng - 1996
1 Formal Methods Applied to Reverse Engineering: Summer Report (context) - Gannod, Cheng - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cps.msu.edu/~gannod/pubs.htm): More
The Application of Formal Methods to the Reverse Engineering of.. - Gannod (1994) (Correct)
Strongest Postcondition Semantics as the Formal Basis for.. - Gannod, Cheng (1996) (Correct)
Strongest Postcondition Semantics as the Formal Basis for.. - Gannod, CHENG (1996) (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