Abstract
The requirement for highly reliable software increases with every year. The benefits from the use of computers are so great that applications multiply to the extent that large sectors of modern society are totally dependent on their use. This dependence brings with it a vulnerability to serious damage if the software should fail: we are now entering an era in which software failures could have life-threatening consequences. This vulnerability compels the use of software techniques which will largely eliminate errors and it is the purpose of this book to describe some of these techniques and to set them into the context of the procurement process.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Crown Copyright
About this chapter
Cite this chapter
Sennett, C.T. (1989). Introduction. In: Sennett, C.T. (eds) High-Integrity Software. Software Science and Engineering. Springer, Boston, MA. https://doi.org/10.1007/978-1-4684-5775-9_1
Download citation
DOI: https://doi.org/10.1007/978-1-4684-5775-9_1
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4684-5777-3
Online ISBN: 978-1-4684-5775-9
eBook Packages: Springer Book Archive