Preconditions for understanding

Authors:
David Garlan
Affiliations:
Carnegie Mellon University, Pittsburgh, PA
Venue:
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Year:
1991

Citing 5
Cited 0

Systematic software development using VDM

Systematic software development using VDM
The Z notation: a reference manual

The Z notation: a reference manual
Software engineering mathematics

Software engineering mathematics
Specifying a Real-Time Kernel

IEEE Software
Integrating Formal Methods into the Development Process

IEEE Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

We argue 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. We illustrate these points by comparing the use of preconditions in Z with that in other formal methods.