Abstract
This book is an introduction to the science of writing programs, the engineering of software. It is not a book concerned with writing programs in a particular programming language; nor is it a collection of standard algorithms for solving common problems. It is about the creation of software designs which are guaranteed to meet their requirements — that are correct. And correctness cannnot be qualified — software is either correct or it isn’t
Throughout, we shall use non-bold italics for emphasis
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2005 Springer-Verlag London Limited
About this chapter
Cite this chapter
(2005). Introduction. In: Constructing Correct Software. Springer, London. https://doi.org/10.1007/1-84628-079-6_1
Download citation
DOI: https://doi.org/10.1007/1-84628-079-6_1
Publisher Name: Springer, London
Print ISBN: 978-1-85233-820-6
Online ISBN: 978-1-84628-079-5
eBook Packages: Computer ScienceComputer Science (R0)