Title :
Preconditions for understanding [formal specification]
Author_Institution :
Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
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;
Conference_Titel :
Software Specification and Design, 1991., Proceedings of the Sixth International Workshop on
Conference_Location :
Como
Print_ISBN :
0-8186-2320-9
DOI :
10.1109/IWSSD.1991.213053
