Title :
The reliable specification of software
Author :
McLean, John ; Meadows, Catherine
Author_Institution :
US Naval Res. Lab., Washington, DC, USA
fDate :
June 27 1988-July 1 1988
Abstract :
A system that supports experimentation by specification writers with the consequences of their specifications, by automatically translating trace specifications into Prolog programs, is described. An introduction to trace specifications and Prolog is provided. An implementation-free semantics for a subset of Prolog that allows characterization of the class of specifications that can be mechanically translated into complete programs is developed. A grammar for a subset of translatable specifications is also described.<>
Keywords :
PROLOG; program verification; software reliability; specification languages; systems analysis; Prolog programs; automatic translation; grammar; implementation-free semantics; rapid prototyping; reliable software specification; specification soundness; specification writers; trace specifications; translatable specifications; Computer science; Costs; Error correction; Laboratories; Law; Legal factors; Prototypes; Software engineering; Software prototyping; Software reliability;
Conference_Titel :
Computer Assurance, 1988. COMPASS '88
Conference_Location :
Gaithersburg, MD, USA
DOI :
10.1109/CMPASS.1988.9637
