Accession Number:

ADA265218

Title:

Knowledge-Based Software Development Tools

Descriptive Note:

Corporate Author:

KESTREL INST PALO ALTO CA

Report Date:

1993-09-01

Pagination or Media Count:

32.0

Abstract:

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE