The Problem of Undefinedness in Specifications

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 it's 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 17, 1988
Accession Number
ADA200116

Entities

People

  • Douglas R. Legenfelder

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Engineered Resilient Systems

DTIC Thesaurus Topics

  • Air Force
  • Algorithms
  • Classification
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Consistency
  • Engineering
  • Equations
  • Explosions
  • Language
  • Numbers
  • Programming Languages
  • Real Numbers
  • Software Development
  • Specifications

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Systems Analysis and Design