Gail C. Murphy, David Notkin, Kevin Sullivan  Home/Search
Context Related
| washington.edu/pub..._model_fse95.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: plg.uwaterloo.ca/~migo...schedule (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Software engineers often use high-level models (for instance, box and arrow sketches) to reason and communicate about an existing software system. One problem with high-level models is that they are almost always inaccurate with respect to the system's source code. We have developed an approach that helps an engineer use a high-level model of the structure of an existing software system as a lens through which to see a model of that system's source code. In particular, an engineer defines a... (Update)
Cited by: More
Transparent Reverse Engineering Tool Integration Using a.. - Transaction Adapter Dean (Correct)
International Journal of Software Engineering and Knowledge.. - Vol No World (Correct)
Reasoning about Trace Dependencies in a Multi-Dimensional.. - Alexander Egyed.. (Correct)
Similar documents (at the sentence level):
7.6%: Lightweight Structural Summarization as an Aid to Software.. - Murphy (1996) (Correct)
Active bibliography (related documents): More All
0.5: Design and Evaluation of Feature Detectors - Baker (1998) (Correct)
0.4: Extending and Managing Software Reflexion Models - Gail Murphy (1997) (Correct)
0.3: The Progres Approach: Language And Environment - Andy Schürr, Andreas J.. (Correct)
Similar documents based on text: More All
0.3: UBC: An Efficient Unified I/O and Memory Caching Subsystem - Silvers (2000) (Correct)
0.2: Prism: A Case Study in Behavioral Entity-Relationship.. - Sullivan, Kalet, Notkin (1993) (Correct)
0.2: Mediators in a Radiation Treatment Planning Environment - Sullivan, Kalet, Notkin (1996) (Correct)
Related documents from co-citation: More All
22: An intelligent tool for re-engineering software modularity (context) - Schwanke - 1991
21: Foundations for the study of software architecture - Perry, Wolf - 1992
19: ObjectOriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
BibTeX entry: (Update)
G. Murphy, D. Notkin, and K. Sullivan. Software reflexion models: Bridging the gap between source and high-level models. In Proc. ACM SIGSOFT Symp. Foundations of Software Engineering, 1995. http://citeseer.ist.psu.edu/murphy95software.html More
@inproceedings{ murphy95software,
author = "G. Murphy and D. Notkin",
title = "Software Reflexion Models: Bridging the Gap between Source and High-Level Models",
booktitle = "{\rm to appear in} {ACM} {SIGSOFT}~'95: Proceedings of the Third Symposium on the Foundations of Software Engineering (FSE3), {\rm (Washington, D.C.
Citations (may not include all citations):1002 Programming Language (context) - Stroustrup - 1986
476 Programming Language (context) - Kernighan, Ritchie - 1978
469 Object-oriented Design with Applications (context) - Booch - 1991
338 Foundations for the Study of Software Architecture - Perry, Wolf - 1992
92 Reflection and Semantics in LISP (context) - Smith - 1984
82 An Intelligent Tool for Reengineering Software Modularity (context) - Schwanke - 1991
43 Structural Redocumentation: A Case Study - Wong, Tilley et al. - 1995
28 Awk -- A Pattern Scanning and Processing Language (context) - Aho, Kernighan et al. - 1979
17 Architectural Tradeoffs for a Meaning-Preserving Program Res.. (context) - Griswold, Notkin - 1995
14 A Mechanism for Specifying the Structure of Large (context) - Ossher - 1987
13 The Field Programming Environment: A Friendly Integrated Env.. (context) - Reiss - 1995
10 Semantic Diff: A Tool For Summarizing the Effects of Modific.. (context) - Jackson, Ladd - 1994
8 A New Program Structuring Mechanism Based on Layered Graphs (context) - Ossher - 1984
7 Abstract Analysis with Aspect (context) - Jackson - 1993
5 A System for Programming-in-the-large (context) - Muller, Klashinsky - 1989
3 the TK Toolkit (context) - Ousterhout - 1994
2 second edition edition (context) - Spivey, Notation - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://plg.uwaterloo.ca/~migod/746/schedule.html): More
Specification and Design of Embedded Software/Hardware Systems - Gajski, Vahid (1995) (Correct)
Using Automatic Clustering to Produce High-Level.. - Mancoridis.. (1998) (Correct)
Stylized Architecture, Design Patterns, and Objects - Monroe, Kompanek, Melton.. (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