Abstract
There is a widespread misunderstanding among both software practitioners and experts in the area of formal methods that the purpose of such methods is to prove, conclusively, whether some piece of software is “correct”. This confusion is rather unfortunate, since it often leads to disillusionment and rejection of formality as impractical (e.g., it does not scale) and, therefore, irrelevant to software development. In fact, as the quote from Alfred North Whitehead indicates, the notion of conclusive and objective proof derived by formal methods has been all but abandoned even in mathematics itself, where it is now understood that “proofs” really represent social consensus among mathematicians rather than statements of objective reality. This should be even more apparent in the case of mathematical models of real-world systems, which are almost always approximations of some kind.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Parnas, D.L., van Schouwen, J., Kwan, P., Fougere, S., “Evaluation of the Shutdown Software for Darlington (SDS-1)”, Interim Report for the Atomic Energy Control Board, 16 November 1987
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2002). Introduction. In: Clark, T., Warmer, J. (eds) Object Modeling with the OCL. Lecture Notes in Computer Science, vol 2263. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45669-4_1
Download citation
DOI: https://doi.org/10.1007/3-540-45669-4_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43169-5
Online ISBN: 978-3-540-45669-8
eBook Packages: Springer Book Archive