Author Type

Graduate Student

Date of Award

1987

Document Type

Thesis

Publication Status

Version of Record

Submission Date

October 2026

Thesis/Dissertation Advisor [Chair]

Hoffman, Frederick

Abstract

This paper describes an Automated Software Development Methodology (ASDM) that encompasses a formal model for characterizing the specifications of a system that will ultimately manifest itself in a software system. This paper focuses on the semantic specification model of ASDM and the architecture of a knowledge-based expert system (KBES) supporting the semantic model. ASDM is a knowledge-based expert system, because it provides expertise and assistance m the construction of formal requirement and design specifications while hiding the formal specification techniques and semantic model from the user. ASDM is a knowledge-based system, because the system represents formally characterized knowledge of the ASDM semantic model, and it represents application domain specific knowledge of a problem domain. Lastly, this paper introduces the concept of an Application Domain Communication Model (ADCM), with its associated characterization and interpretation facilities, for defining a set of user interface scenarios that represent a cognitive model of an application domain engineering world.

Extent

104 p.

Comments

Thesis (M.S.)--Florida Atlantic University, 1987.|Charles E. Schmidt College of Science|FAU Electronic Theses and Dissertations Collection|Thesis (M.S.)--Florida Atlantic University, 1987.

Identifier

FADT14359

Format

pdf

Download

Share

COinS