Software Reliability: A Federal Highway Administration Preliminary Handbook
PDF files can be viewed with the Acrobat® Reader®
References
Musa, J.D., A. Iannino, and K. Okumoto. Software Reliability: Measurement, Prediction, Application. McGraw Hill, 1987.
Leveson, N. Safeware, System Safety and Computers. Addison Wesley, 1995, ISBN 0-201-11972-2.
Wentworth, J. and R. Knaus. "Correctness Given Mathematical Specifications," in Producing Correct Software, Turner Fairbank Highway Research Center, McLean, VA, 1999. (www.fhwa.dot.gov/publications/research/operations/softwar/title.cfm), accessed January 2001.
Wallace, D.R., L.M. Ippolito, and B. Cuthill. Reference Information for the Software Verification and Validation Process, National Institute of Standards and Technology Special Publication 500-234, March 29, 1996. (http://hissa.nist.gov/HHRFdata/Artifacts/ITLdoc/234/val-proc.html).
Verification, Validation, and Evaluation of Expert Systems, an FHWA Handbook. Turner Fairbank Highway Safety Research Center, Federal Highway Administration, U.S. Department of Transportation, McLean, VA. (www.fhwa.dot.gov/publications/research/safety/aard/index.cfm), accessed July 27, 2000.
Landauer, C. and K.L. Bellman. "Constructed Complex Systems: Issues, Architectures and Wrappings," pp. 233-38 in Proceedings EMCSR 96: Thirteenth European Meeting on Cybernetics and Systems Research, Symposium on Complex Systems Analysis and Design, 9-12 April 1996, Vienna, Austria. This is a paper about wrapping by the inventors of the concept.
Press, W., et al. Numerical Recipes in C. Cambridge University Press, 1992.
Instant Recall, Inc. SpecChek, www.irecall.com/specchek/SpecIndx.htm, SpecChekTM homepage, accessed July 27, 2000.
- Higham, N.J. Accuracy and Stability of Numerical Algorithms, Society of Industrial and Applied Mathematics, Philadelphia, 1996, ISBN 0-89871-355-2. (The SIAM Web site is www.siam.org.)
Previous | Table of Contents | Next
|