Skip to contentUnited States Department of Transportation - Federal Highway Administration FHWA Home
Research Home
Report
This report is an archived publication and may contain dated technical, contact, and link information
Publication Number: FHWA-RD-04-080
Date: September 2004

Software Reliability: A Federal Highway Administration Preliminary Handbook

PDF Version (697 KB)

PDF files can be viewed with the Acrobat® Reader®

Additional Resources

Holloway, C.M. "What is Formal Methods?" http://atb-www.larc.nasa.gov/fm/fm-what.html, NASA Langley Formal Methods Team's World-Wide Web pages, accessed February 17, 2001.

Holloway, C.M. "What is Formal Methods?" http://atb-www.larc.nasa.gov/fm/fm-what.html, NASA Langley Formal Methods Team's World-Wide Web pages, accessed February 17, 2001.

Neumann, P.G., moderator. http://catless.ncl.ac.uk/Risks, a Web-accessible posting of the Risks Forum, a monthly USENET newsletter about computer risks and failures, accessed July 27, 2000.

Neumann, P.G. Illustrative Risks to the Public in the Use of Computer Systems and Related Technology., accessed July 27, 2000.

Neumann, P.G. Illustrative Risks to the Public in the Use of Computer Systems, Commercial Aviation. (www.csl.sri.com/neumann/illustrative.html#9), accessed July 27, 2000.

Neumann, P.G. Illustrative Risks to the Public in the Use of Computer Systems, Rail, Bus, and Other Public Transit, accessed July 27, 2000.

Potter, B., J. Sinclair, and D. Till. An Introduction to Formal Specification and Z, 2nd edition, Prentice Hall International Series in Computer Science, Englewood Cliffs, NJ, 1996, ISBN 0-13-242207-7.

The Software Engineering Institute Web site, www.sei.cmu.edu/sei-home.html.

Wilkinson, J.H., Rounding Errors in Algebraic Processes. Notes on Applied Science, No. 32, Her Majesty's Stationery Office, London, 1963. Also published by Prentice Hall, Englewood Cliffs, NJ, and Dover, NY, 1994, ISBN 0-486-67999-3.

Previous | Table of Contents

ResearchFHWA
FHWA
United States Department of Transportation - Federal Highway Administration