Knowledge-Based Software Development Tools

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1993
Accession Number
ADA265218

Entities

People

  • Douglas R. Smith
  • Thomas T. Pressburger

Organizations

  • Kestrel Institute

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Computer Programming
  • Computer Programs
  • Environment
  • High Level Languages
  • Language
  • Lisp Programming Language
  • Maintenance
  • Optimization
  • Programming Languages
  • Project Management
  • Recursive Functions
  • Software Development
  • Software Development Tools
  • Specifications
  • Standards

Fields of Study

  • Computer science

Readers

  • Computational Fluid Dynamics (CFD)
  • Software Engineering.
  • Theoretical Analysis.

Technology Areas

  • AI & ML