Speaker: Doug Smith
Affiliation: Kestrel Institute
Date: 9/30/99 - Thursday
Time & Location: 4:15PM, 101 Phillips
Title: Designware: Mechanizing Software Development by Refinement
This talk presents a mechanizable framework for software development by refinement. The framework is based on a category of specifications. One of the key ideas of Designware is representing knowledge about programming concepts, such as algorithm design and datatype refinement, by means of taxonomies of design theories.
The framework is partially implemented in the research systems Specware, Designware, and Planware. Specware provides basic support for composing specifications and refinements, and generating code. Specware is intended to be general-purpose and has found use in industrial settings. Designware extends Specware with taxonomies of software design theories and support for constructing refinements from them. Planware builds on Designware to provide highly automated support for requirements acquisition and synthesis of high-performance scheduling algorithms.
I will present an overview to Specware before presenting the concepts of Designware.