Incremental Rederivation of Software Artifacts: FY93
Final rept. Oct 1992-Sep 1993
MITRE CORP BEDFORD MA
Pagination or Media Count:
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.
- Computer Programming and Software