TABLE OF CONTENTS Janick Bergeron
Verificationguild.com
Library of Congress Control Number: 2005938214
ISBN-10: 0-387-29221-7
ISBN-13: 9780387292212
ISBN-10: 0-387-31275-7 (e-book)
ISBN-13: 9780387312750 (e-book)
2006 Springer Science+Business Media, Inc.
All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer Science+Business Media, Inc., 233 Spring Street, New York, NY 10013, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden.
The use in this publication of trade names, trademarks, service marks and similar terms, even if they are not identified as such, is not to be taken as an expression of opinion as to whether or not they are subject to proprietary rights.
9 8 7 6 5 4 3 2 1
sprmger.com
ABOUT THE COVER
The cover of the first edition of Writing Testbenches featured a photograph of the collapse of the Quebec bridge (the cantilever steel bridge on the left [1]) in 1907. The ultimate cause of the collapse was a major change in the design specification that was not verified. To save on construction cost, the engineer in charge of the project increased the span of the bridge from 1600 to 1800 feet, turning the project into the longest bridge in the world, without recalculating weights and stresses.
In those days,...
