Accession Number:

ADA200116

Title:

The Problem of Undefinedness in Specifications

Descriptive Note:

Master's thesis

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA

Personal Author(s):

Report Date:

1988-06-17

Pagination or Media Count:

54.0

Abstract:

Conventional approaches to the formal specifications of computing systems do not provide a facility for leaving elements undefined. The purpose of this thesis is to introduce a formalism for such a facility and to examine its affect on the underlying semantics. These ideas are thus a modification of conventional formalism using semantics. Keywords Term rewriting systems, Dendrogrammars, Formal specification, Algebraic semantics, Software engineering.

Subject Categories:

  • Linguistics
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE