DocumentCode
1853252
Title
The reliable specification of software
Author
McLean, John ; Meadows, Catherine
Author_Institution
US Naval Res. Lab., Washington, DC, USA
fYear
1988
fDate
June 27 1988-July 1 1988
Firstpage
49
Lastpage
55
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Assurance, 1988. COMPASS '88
Conference_Location
Gaithersburg, MD, USA
Type
conf
DOI
10.1109/CMPASS.1988.9637
Filename
9637
Link To Document