Gerald Gannod, Betty Cheng  Home/Search
Context Related
| msu.edu/pub/serg/r...app93reverse.ps.Z asu.edu/~gannod/Pa...pp93reverse.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 (more) From: asu.edu/~gannod/pubs (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. This paper presents a two-phase approach to reverse engineering, ... (Update)
Context of citations to this paper: More
.... reverse engineering that focus on the use of rigorous mathematical methods for extracting formal specifications from existing code [18, 19, 20]. A formal method consists of a formal specification language and formally defined inference rules [15] The specification language...
...a clear indicator of component function. Considerable effort is required to extract functional abstractions from source code [ Gannod and Cheng, 1993 ] Formal specifications can be used to represent problem requirements as well as library component functionality. They are...
Cited by: More
Converting Informal Meta-data to VDM-SL: A Reverse.. - Neves, Silva, Oliveira (1999) (Correct)
Using Formal Methods to Construct a Software Component Library - Jeng, Cheng (1993) (Correct)
Integrating Informal And Formal Techniques To Reverse Engineer.. - Gannod (1998) (Correct)
Similar documents (at the sentence level): More
30.5%: The Application of Formal Methods to the Reverse Engineering of.. - Gannod (1994) (Correct)
14.6%: Facilitating the Maintenance of Safety-Critical Systems - Gannod, Cheng (1994) (Correct)
10.1%: Strongest Postcondition Semantics as the Formal Basis for.. - Gannod, Cheng (1996) (Correct)
Active bibliography (related documents): More All
0.7: An Object-Oriented Toolkit for Constructing Specification.. - Bourdeau, Cheng (1992) (Correct)
0.5: Applying Formal Methods and Object-Oriented Analysis to.. - Betty Cheng (1993) (Correct)
0.5: Applying Formal Methods in Automated Software Development - Cheng (1994) (Correct)
Similar documents based on text: More All
0.2: ENFORMS: A Distributed, Multimedia Environmental.. - Sharnowski, Gannod, Cheng (1995) (Correct)
0.2: Using Informal and Formal Techniques for the Reverse.. - Gannod, Cheng (1996) (Correct)
0.2: PACKRAT: A Software Reengineering Case Study - Gannod, Sudindranath, Fagnani, .. (Correct)
Related documents from co-citation: More All
9: A Specifier's Introduction to Formal Methods (context) - Wing - 1990
7: The Science of Programming (context) - Gries - 1981
6: The Maintainer's Assistant (context) - Ward, Calliss et al. - 1989
BibTeX entry: (Update)
Gerald C. Gannod and Betty H.C. Cheng. 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. http://citeseer.ist.psu.edu/gannod93twophase.html More
@inproceedings{ gannod93twophase,
author = "Gerald C. Gannod and Betty H. C. Cheng",
title = "A Two-Phase Approach to Reverse Engineering Using Formal Methods",
booktitle = "Formal Methods in Programming and Their Applications",
pages = "335-348",
year = "1993",
url = "citeseer.ist.psu.edu/gannod93twophase.html" }
Citations (may not include all citations):452 Data Structures and Algo- rithms (context) - Aho, Hopcroft et al. - 1983
275 The Science of Programming (context) - Gries - 1981
214 Reverse Engineering and Design Recovery: A Taxonomy (context) - Chikofsky - 1990
159 Predicate logic as a programming language (context) - Kowalski - 1974
154 A Specifier's Introduction to Formal Methods (context) - Wing - 1990
123 Seven myths of formal methods (context) - Hall - 1990
42 The maintainer's assistant (context) - Ward, Calliss et al. - 1989
21 Integrating Formal Methods into the Development Process (context) - Kemmerer - 1990
16 Formal methods applied to reuse (context) - Cheng, Jeng - 1992
14 IEEE Transactions on Software Engineering (context) - Leveson, in - 1990
13 Object-Oriented Software (context) - Winblad, Edwards et al. - 1990
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 Identifying Objects in a Conventional Procedural Language: A.. (context) - Liu, Wilde - 1990
8 Using Automated Reasoning to Determine Software Reuse (context) - Jeng, Cheng - 1992
8 Abstraction of Formal Specifications from Program Code - Cheng, Gannod - 1991
7 From Programs to Z Specifications (context) - Lano, Breuer - 1989
7 Tech Report UIUCDCS-R (context) - Cheng, Procedural et al. - 1990
7 Fitting pieces to the maintenance puzzle (context) - Osborne, Chikofsky - 1990
5 A Software Re-engineering Process Model (context) - Byrne, Gustafson - 1992
4 Object-Oriented and Conventional Analysis and Design Methodo.. (context) - Fichman, Kemerer - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cps.msu.edu.html): More
A Uniform Bayesian Framework for Integration - Pankanti, Jain (1995) (Correct)
An Object-Oriented Toolkit for Constructing Specification.. - Bourdeau, Cheng (1992) (Correct)
MAD Kernels: An Experimental Testbed to Study Multiprocessor.. - Arun Nanda (1992) (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