Dependency Directed Reasoning for Complex Program Understanding

No abstract is available for this paper.

• Publication year

  1979

• Venue

  Unknown venue

• Publication date

  1979-04-01

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• No references are available for this paper.

• From PROUST to CHIRON: ITS Design as Iterative Engineering; Intermediate Results are Important!

  2021cites this paper
• A Formally Reliable Cognitive Middleware for the Security of Industrial Control Systems

  2017cites this paper
• Sound and Complete Runtime Security Monitor for Application Software

  2016cites this paper
• Towards a Programmer's Apprentice (Again)

  2015cites this paper
• On the Formal Semantics of the Cognitive

  2015cites this paper
• Abstract Data Machine: Data Classifier for Reliable Embedded Systems Software

  2015cites this paper
• Program Recognition System for C A Novel Take on Use of Plans and Clichés for Program Understanding

  2014cites this paper
• On the Behavioural Formalization of the Cognitive Middleware AWDRAT

  2014cites this paper
• On the Formal Semantics of the Cognitive Middleware AWDRAT

  2014cites this paper
• Self-Adaptive Systems for Information Survivability: PMOP and AWDRAT

  2007cites this paper
• AWDRAT: Architectural Differencing, Wrappers, Diagnosis, Recovery, Adaptivity and Trust Management

  2006cites this paper
• AWDRAT: A Cognitive Middleware System for Information Survivability

  2006cites this paper
• CHIP : A Cognitive Architecture for Comprehensive Human Intelligence and Performance A Report of the CHIP Project :

  2006cites this paper
• Dr. Jones : a software design explorer's crystal ball

  2003cites this paper
• The Express Project

  2003cites this paper
• Dynamic Domain Architectures for Model Based Autonomy for (DDA for MBA)

  2001cites this paper
• Probabilistic Dispatch, Dynamic Domain Architecture, and Self-adaptive Software

  2001cites this paper
• Knowlcdgc Ileprcscntation Languages and Predicate Calculus: I low to I-law Your Clrkc and Kat It Too

  1999cites this paper
• Automated program recognition by graph parsing

  1992cites this paper
• Communicating with high-level plans

  1991cites this paper
• A visual programming language for novices

  1990cites this paper
• Determining the Limits of Automated Program Recognition

  1989cites this paper
• Program Understanding: Challenge for the 1990s

  1989cites this paper
• Dependency Directed Reasoning and Learning in Systems Maintenance Support

  1988cites this paper
• Communicating With High-Level Plans

  1988cites this paper
• Planning for Conjunctive Goals

  1987cites this paper
• Automated Program Recognition: A Feasibility Demonstration

  1987cites this paper
• Stimulus structures and mental representations in expert comprehension of computer programs

  1987influential citation
• Cognitive processes in program comprehension

  1986cites this paper
• Knowledge-based programming self applied

  1986cites this paper
• The Roles of Execution and Analysis in Algorthm Design

  1985cites this paper
• The Programmer's Apprentice: A Session with KBEmacs

  1985cites this paper
• Symbolic Execution in Algorithm Design

  1985cites this paper
• Analogical and Dependency Directed Reasoning Strategies for Large Systems Evolution

  1985cites this paper
• Representation and Use of Explicit Justifications for Knowledge Base Refinements

  1985cites this paper
• Domain-Specific Automatic Programming

  1985cites this paper
• The Layered Architecture of a System for Reasoning about Programs

  1985cites this paper
• On conceptual modelling - perspectives from artificial intelligence, databases and programming languages

  1984cites this paper
• Expertise in Debugging Computer Programs: A Process Analysis

  1984cites this paper
• Expertise in Debugging Computer Programs

  1984cites this paper
• On the Cognitive Prerequisites of Learning Computer Programming. Technical Report No. 18.

  1983cites this paper
• The disciplined use of simplifying assumptions

  1982cites this paper
• Knowledge representation languages and predicate calculus: how to have your cake antl eat it too

  1982cites this paper
• An automatic programming system to support an experimental science

  1982cites this paper
• On the Definition of Specialization Hierarchies for Procedures

  1981cites this paper
• A model for deliberation, action, and introspection

  1981cites this paper
• The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis

  1981cites this paper
• A Formal Representation For Plans In The Programmer's Apprentice

  1981cites this paper
• Proposal For a Study of Commonsense Physical Reasoning

  1981cites this paper
• Readings in Artificial Intelligence

  1981cites this paper
• Computer aided evolutionary design for software engineering

  1981cites this paper
• Formalizing the Expertise of the Assembly Language Programmer

  1980cites this paper
• A selected descriptor-indexed bibliography to the literature on belief revision

  1980influential citation
• Computational uses of the manipulation of formal proofs

  1980cites this paper
• A Truth Maintenance System

  1979influential citation
• 17 Knowledge-based programming self-applied

  year unknowncites this paper