INCREMENTAL REDERIVATION OF SOFTWARE ARTIFACTS : FY 92 The MITRE Corporation