Home : Project Archive : EDCS
 

Evolution Based on Precise Semantic Design Records

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

- Back to Top -

- Home - About Kestrel - Research Staff - Current Projects - Project Archive -
- Publications - Technology Transfer - Career Opportunities - Contact Kestrel -