Real Time Automatic Programming

Abstract

This report describes the MITRE developed automatic programming system ISFI and the attempt to use this system in the production and modification of small to moderate sized real-time programs. ISFI is a knowledge- based automatic programming system that has been developed at MITRE during the past 5 years. The ISFI system is based upon the theory that networks of constraints are an appropriate knowledge representation tool for many domains, and illustrates a number of techniques such as propagation and transformation that facilitate inference in constraint networks as a method for code synthesis. Keywords: Artificial intelligence; Knowledge-based systems; Automatic programming; Real time; Software.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1990
Accession Number
ADA220162

Entities

People

  • Gary A. Cleveland
  • Richard H. Brown
  • Richard L. Piazza

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Automatic
  • Automatic Programming
  • Classification
  • Computations
  • Computer Programming
  • Computer Programs
  • Computers
  • Demographic Cohorts
  • Failure Mode And Effect Analysis
  • High Level Languages
  • Language
  • Lisp Programming Language
  • Operating Systems
  • Programming Languages
  • Side Effects
  • Specifications

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Parallel and Distributed Computing.

Technology Areas

  • AI & ML