Abstract
Building reliable computer systems is one of the central goals of computer science. The failure of Ariane 5’s maiden fiight and the Year 2000 Problem have brought to everybody’s mind to which extent our economic system and even our lives depend on correctly working software.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2002). Introduction. In: Müller, P. (eds) Modular Specification and Verification of Object-Oriented Programs. Lecture Notes in Computer Science, vol 2262. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45651-1_1
Download citation
DOI: https://doi.org/10.1007/3-540-45651-1_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43167-1
Online ISBN: 978-3-540-45651-3
eBook Packages: Springer Book Archive