Incremental Rederivation of Software Artifacts: FY93

Abstract

Design replay presents a possible enabling technology to the Knowledge-Based Software Assistant specification maintenance and implementation derivation approach to software development. More generally, design replay can also be applied to derivations between a variety of different software description abstraction levels. Radical changes to a software artifact cannot generally be addressed by design replay as they require new design output. Evolutionary changes are more amenable to design replay and often involve incremental changes to derived artifacts. This report describes an approach to rederivation that exploits the incrementality of evolutionary maintenance changes, the state of MITRE's implementation of this approach, and what remains to be done to test this approach. Knowledge-based software engineering, Software engineering, Automatic programming, Formal specifications.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1994
Accession Number
ADA285790

Entities

People

  • Alexander Yeh
  • Howard Reubenstein
  • Melissa P. Chase

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Advanced Electronics
  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Artifacts
  • Automatic Programming
  • Command And Control
  • Computational Science
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Corporations
  • Engineering
  • Hash Tables
  • Maintenance
  • Software Development
  • Software Development Tools
  • Specifications

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Enterprise Information Systems Architecture and Joint Command Capability Interoperability Support.
  • Systems Analysis and Design