Date of Award

12-1993

Document Type

Thesis

Degree Name

Master of Science

Department

Department of Electrical and Computer Engineering

First Advisor

Thomas C. Hartrum, PhD

Abstract

This research investigated the feasibility of composing time-dependent specifications in Architect, a domain-oriented application composition and generation system being developed at the Air Force Institute of Technology (AFIT). Architect composes formally specified domain objects into an executable software specification that can be used to verify program correctness prior to generation of language specific code. As part of this research, domain modeling techniques were investigated and a candidate process was selected for evaluation. The process was used to develop domain models for two diverse time-dependent domains. Using object-oriented analysis, formal specifications were developed for a collection of event-driven logic circuit components and a collection of time-driven cruise missile components. Applications from each domain were composed in Architect and executed to verify correct behavior.

AFIT Designator

AFIT-GCS-ENG-93D-23

DTIC Accession Number

ADA274085

Comments

The author's Vita page is omitted.

Download

Share

COinS