Gerald Catolico Gannod  Home/Search
Context Related
| asu.edu/~gannod/Papers/diss.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) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: OF A DISSERTATION Submitted to Michigan State University in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY Department of Computer Science 1998 Advisor: Dr. Betty H. C. Cheng ABSTRACT INTEGRATING INFORMAL AND FORMAL TECHNIQUES TO REVERSE ENGINEER IMPERATIVE PROGRAMS By Gerald Catolico Gannod Many well-documented computer failures have been attributed to software. Some of the most notable incidents include the catastrophic failures of the Therac-25 and the... (Update)
Context of citations to this paper: More
...focuses on the low level analysis of the command and command translation subsystems. For a description of the high level analysis, see [12]. 4.3 Low Level Analysis The software for the command system, written in C, was organized into several directories that were...
Cited by: More
A Formal Approach for Reverse Engineering: A Case Study - Gannod, Cheng (Correct)
Similar documents (at the sentence level):
5.7%: A Framework for Classifying and Comparing Software Reverse.. - Gannod, Cheng (1999) (Correct)
5.4%: A Specification Matching Based Approach to Reverse Engineering - Gannod, Cheng (1998) (Correct)
Active bibliography (related documents): More All
2.8: An Automated Approach for Supporting Software Reuse via.. - Gannod, Chen, Cheng (1998) (Correct)
1.8: PACKRAT: A Software Reengineering Case Study - Gannod, Sudindranath, Fagnani, .. (Correct)
1.1: A Formal Automated Approach for Reverse Engineering Programs.. - Gannod, Cheng (1997) (Correct)
Similar documents based on text: More All
0.2: Medical Devices: The Therac-25 - Leveson (Correct)
0.2: The Application of Formal Methods to the Reverse Engineering of.. - Gannod (1994) (Correct)
0.1: ENFORMS: A Distributed, Multimedia Environmental.. - Sharnowski, Gannod, Cheng (1995) (Correct)
BibTeX entry: (Update)
Gerald C. Gannod. Integrating Informal and Formal Techniques to Reverse Engineer Imperative Programs. PhD thesis, Michigan State University, 1998. http://citeseer.ist.psu.edu/gannod98integrating.html More
@misc{ gannod98integrating,
author = "G. Gannod",
title = "Integrating Informal and Formal Techniques to Reverse Engineer Imperative
Programs",
text = "Gerald C. Gannod. Integrating Informal and Formal Techniques to Reverse
Engineer Imperative Programs. PhD thesis, Michigan State University, 1998.",
year = "1998",
url = "citeseer.ist.psu.edu/gannod98integrating.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
861 Tcl and the Tk Toolkit - Ousterhout - 1994
652 A Discipline of Programming (context) - Dijkstra - 1976
650 An axiomatic basis for computer programming (context) - Hoare - 1969
579 Software Architectures: Perspectives on an Emerging Discipli.. (context) - Shaw, Garlan - 1996
338 Foundations for the study of software architecture - Perry, Wolf - 1992
275 The Science of Programming (context) - Gries - 1981
268 Larch: Languages and Tools for Formal Specification (context) - Guttag, Horning - 1993
267 Software Engineering A Practitioner's Approach (context) - Pressman - 1997
228 Points-to Analysis in Almost Linear Time - Steensgaard - 1996
214 Reverse Engineering and Design Recovery: A Taxonomy (context) - Chikofsky, Cross - 1990
204 KIDS: A Semi-automatic Program Development System - Smith - 1990
197 Maximizing multiprocessor performance with the suif compiler - Hall, Anderson et al. - 1996
154 A Specifier's Introduction to Formal Methods (context) - Wing - 1990
141 Predicate Calculus and Program Semantics (context) - Dijkstra, Scholten - 1990
117 Software Reflexion Models: Bridging the Gap between Source a.. - Murphy, Notkin et al. - 1995
88 The Programmer's Apprentice (context) - Rich, Waters - 1990
72 Specification Matching of Software Components - Zaremski, Wing - 1995
70 Storing and Retrieving Software Components: A Refinement Bas.. (context) - Mili, Mili et al. - 1997
59 Introduction to the special issue on software architecture (context) - Garlan, Perry - 1995
51 Formal Methods and the Certification of Critical Systems - Rushby - 1993
47 Knowledge-Based Program Analysis (context) - Harandi, Ning - 1990
45 Automated Support for Legacy Code Understanding (context) - Ning, Engberts et al. - 1994
45 Signature Matching: a Tool for Using Software Libraries - Zaremski, Wing - 1995
43 Structural redocumentation: A case study - Wong, Tilley et al. - 1995
42 The Maintainer's Assistant (context) - Ward, Calliss et al. - 1989
41 Graph layout through the vcg tool - Sander - 1995
40 Program Slicing (context) - Binkley, Gallagher - 1996
34 Programmable Reverse Engineering - Tilley, Wong et al. - 1994
32 Using an Enabling Technology to Reengineer Legacy Systems (context) - Markosian, Newcomb et al. - 1994
29 Abstracting a Specification from Code - Ward - 1993
28 The Interleaving Problem in Program Understanding - Rugaber, Stirewalt et al. - 1995
26 Automated Program Understanding by Concept Recognition (context) - Kozaczynski, Ning - 1994
25 Impact Analysis - Towards a Framework for Comparison (context) - Arnold, Bohner - 1993
25 Reengineering with Reflexion Models: A Case Study (context) - Murphy, Notkin - 1997
25 VCR: A VDM-Based software component retrieval tool - Fischer, Kievernagel et al. - 1995
22 An Investigation of the Therac-25 Accidents (context) - Leveson, Turner - 1993
22 Deduction-Based Software Component Retrieval - Fischer, Kievernagel et al. - 1995
20 Abstract Interpretation (context) - Cousot - 1996
17 Logical Analysis of Programs (context) - Katz, Manna - 1976
16 A Framework for Evaluating Software Technology (context) - Brown, Wallnau - 1996
15 Logic For Applications (context) - Nerode, Shore - 1993
15 Undecidability of Static Analysis - Landi - 1992
14 A Conceptual Foundation for Software Re-engineering (context) - Byrne - 1992
14 A Comparison of four Reverse Engineering Tools (context) - Bellay, Gall - 1997
14 An Introduction to the WSL Program Transformer (context) - Bull - 1990
13 Toward Automated Component Adaptation - Penix, Alexander - 1997
13 Specification Matching for Software Reuse: A Foundation - Jeng, Cheng - 1995
13 A Two Phase Approach to Reverse Engineering Using Formal Met.. - Gannod, Cheng - 1993
12 University of Amsterdam (context) - Wielemaker, Reference - 1998
12 New Jersey: Prentice Hall (context) - Rumbaugh, Blaha et al. - 1991
11 Reverse Engineering is Reverse Forward Engineering - Baxter, Mehlich - 1997
10 Implementing specification freedoms (context) - London, Feather - 1986
10 Available http://www (context) - Services
9 Available http://www (context) - Online
9 Available http://www (context) - Online
8 Structured Analysis and Design: Fundamentals Discipline of C.. (context) - Yourdon, Constantine - 1978
8 Abstraction of Formal Specifications from Program Code - Cheng, Gannod - 1991
8 Local formalisms: Widening the spectrum of wide-spectrum lan.. (context) - Wile - 1987
7 A Formal Automated Approach for Reverse Engineering Programs.. - Gannod, Cheng - 1997
7 The REDO Project: Final Report - Bowen, Breuer et al. - 1991
7 A Formal Automated Approach for Reverse Engineering Programs.. - Gannod, Cheng - 1997
7 A Memory-Based Approach to Recognizing Program Plans (context) - Quilici - 1994
6 Formalizing and automating component reuse - Chen, Cheng - 1997
6 Using Informal and Formal Methods for the Reverse Engineerin.. (context) - Gannod, Cheng - 1996
6 A formal semantics of object models (context) - Bourdeau, Cheng - 1995
6 MFC Library Reference (context) - Corporation, Visual - 1997
5 A Software Re-engineering Process Model (context) - Byrne, Gustafson - 1992
5 Facilitating an automated approach to architecturebased soft.. - Chen, Cheng - 1997
5 AddisonWesley Publishing Company (context) - Weiss, Data et al. - 1996
5 Software Management Technology Reference Guide (context) - Zvegintzov - 1994
5 Reverse Engineering Concurrent Programs using Formal Modelli.. (context) - Younger, Luo et al. - 1996
5 New Jersey: Prentice Hall (context) - Kernighan, Ritchie et al. - 1988
5 Applying formal methods in automated software engineering (context) - Cheng - 1994
4 A Knowledge-Based Approach to the Analysis of Loops (context) - Abd-El-Hafiz, Basili - 1996
4 Formal Methods Specification and Verification Guidebook for .. (context) - Covington - 1995
3 Formalizing and integrating the functional model within omt (context) - Wang, Cheng - 1998
3 Formal Methods Specification and Analysis Guidebook for the .. (context) - Crow - 1997
3 Using Automated Reasoning Techniques to Determine Software R.. - Jeng, Cheng - 1992
2 Available http://www (context) - logiscope
2 A formal approach to reverse engineering c programs (context) - Gannod, Cheng - 1998
2 Available http://www (context) - ensemble
2 A Practical Solution to Reverse Engineering Legacy Systems u.. (context) - Ward, Bennett - 1993
2 Available http://gate (context) - Visual, Toolset
2 Retrieving Software Components That Minimize Adaptation Effo.. - Jilani, Desharnais et al. - 1997
2 ARIANE 5 Flight 501 Failure (context) - the, Board - 1996
2 Generating Project-Specific Reengineering Process Models (context) - Byrne - 1994
2 Reusing Analogous Components - Jeng, Cheng - 1996
1 Space Flight Operations Center Command Subsystem (CMD) Softw.. (context) - Dehghani - 1990
1 Formal Program Consdtruction by Transformations-- Computer-A.. (context) - Bauer, Moller et al. - 1991
1 Space Flight Operations Center User's Guide for Workstation .. (context) - Miller, Palkovic - 1994
1 Reengineering Procedural Into Data Flow Programs (context) - Newcomb - 1995
1 Advanced Multimission Operations System (AMMOS) Detailed Cap.. (context) - Slusser - 1995
1 Integrating Informal and Formal Approaches to Object-Oriente.. (context) - Wang - 1998
1 Reengineering technology report (vol. 1 and 2 (context) - Olsem, Sittenauer - 1995
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