DocumentCode
3142083
Title
Preconditions for understanding [formal specification]
Author
Garlan, David
Author_Institution
Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
fYear
1991
fDate
25-26 Oct 1991
Firstpage
242
Lastpage
245
Abstract
The author argues that advocates of a formal method have an obligation to explain the relationship between the role of proof in that method and the role of proof in others. Such comparisons are needed to (a) clarify the `method´ behind a specific notation, (b) dispel misconceptions invited by the use of similar vocabulary with different meanings, and (c) suggest improvements to existing methods. These points are illustrated by comparing the use of preconditions in Z with that in other formal methods
Keywords
formal specification; specification languages; Z; formal method; formal specification; preconditions; proof; Computer science; Counting circuits; Formal specifications; Specification languages; Vocabulary;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
Conference_Location
Como
Print_ISBN
0-8186-2320-9
Type
conf
DOI
10.1109/IWSSD.1991.213053
Filename
213053
Link To Document