Knowledge-Based Software Development Tools
Douglas R. Smith, Thomas Pressburger · 1993
We describe some of the experimental knowledge-based software development tools under development at Kestrel Institute. In particular, systems for automatically performing algorithm design, deductive inference, finite differencing, and data structure selection are discussed. A detailed case study is presented that shows how these systems could cooperate in supporting the transformation of a formal specification into efficient code. The example treated is a schedule optimization problem.