My library button

No image available

The Problem of Undefinedness in Specifications

by Douglas Robert Lengenfelder ยท 1988

ISBN:  Unavailable

Category: Unavailable

Page count: 55

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. (SDW).