Evolution Based on Precise Semantic Design Records Project

Cordell Green, Co-Principal Investigator
Jim McDonald, Co-Principal Investigator
Lee Blaine
Dusko Pavlovic

Papers related to the project:

• Yellamraju V. Srinivas. Refinement of Parameterized Algebraic Specifications. Appeared in IFIP TC2 Working Conference on Algorithmic Languages and Calculi., Le Bischenberg, France. Chapman & Hall, February, 1997.

Impact

• Formal assurance that code meets architectural and other specifications
• Scaleable evolution based on semantic change barriers
• Rapid resynthesis of code from evolving specifications
• Tools for restructuring programs at multiple levels of abstraction

New Ideas

• Formal semantics for design records
• Correctness-preserving design evolution
• Composition and refinement of parameterized specifications
• Composition and refinement of diagrams of specifications
• Metrics for semantic changes