Date of Award

12-1993

Document Type

Thesis

Degree Name

Master of Science in Computer Engineering

Department

Department of Electrical and Computer Engineering

First Advisor

David Luginbuhl, PhD

Abstract

A formal process is described for populating the knowledge base of the Automatic Programming Technologies for Avionics Software APTAS system. This process was developed using a general knowledge base population process that applies to many knowledge-based software engineering systems. This general process is also described. The formal process for APTAS was demonstrated by storing new information from the radar tracking domain into the knowledge base of APTAS. Several procedures some automatic and some manual were implemented to support the formal process.

AFIT Designator

AFIT-GCE-ENG-93D-13

DTIC Accession Number

ADA274034

Comments

The author's Vita page is omitted.

Download

Share

COinS