Accession Number:

ADA285790

Title:

Incremental Rederivation of Software Artifacts: FY93

Descriptive Note:

Final rept. Oct 1992-Sep 1993

Corporate Author:

MITRE CORP BEDFORD MA

Report Date:

1994-09-01

Pagination or Media Count:

26.0

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 MITREs implementation of this approach, and what remains to be done to test this approach. Knowledge-based software engineering, Software engineering, Automatic programming, Formal specifications.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE