Paper Info
Title
A Formal Method for the Abstract Specification of Software
Abstract
An intuitive presentation of the trace method for the abstractspecification of software contains sample specifications, syntacticand semantic definitions of consistency and totalness, methods forproving specifications consistent and total, and a comparison ofthe method with the algebraic approach to specification. Thisintuitive presentation is underpinned by a formal syntax,semantics, and derivation system for the method. Completeness andsoundness theorems establish the correctness of the derivationsystem with respect to the semantics, the coextensiveness of thesyntactic definitions of consistency and totalness with theirsemantic counterparts, and the correctness of the proof methodspresented. Areas for future research are discussed.
Year
DOI
Venue
1984
10.1145/828.829
J. ACM
Keywords
Field
DocType
Abstract Specification,formal specificauon,formal syntax,derivation system,intuitive presentation,trace method,comparison ofthe method,Thisintuitive presentation,Formal Method,syntacticand semantic definition,trace specification,addiuonal key words and phrases: abstract specification,algebraic approach,sample specification,future research
Discrete mathematics,Programming language,Computer science,Software,Formal methods,Syntax
Journal
Volume
Issue
ISSN
31
3
0004-5411
Citations 
PageRank 
References 
25
11.59
6
Authors
1
Name
Order
Citations
PageRank
John McLean121184.75