Software Reliability: A Federal Highway Administration Preliminary Handbook

PDF files can be viewed with the Acrobat® Reader®

References

1. Musa, J.D., A. Iannino, and K. Okumoto. Software Reliability: Measurement, Prediction, Application. McGraw Hill, 1987.

2. Leveson, N. Safeware, System Safety and Computers. Addison Wesley, 1995, ISBN 0-201-11972-2.

3. Wentworth, J. and R. Knaus. "Correctness Given Mathematical Specifications," in Producing Correct Software, Turner Fairbank Highway Research Center, McLean, VA, 1999. (www.tfhrc.gov/advanc/softwar/soft2.htm), accessed January 2001.

4. 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).

5. 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.tfhrc.gov/advanc/vve/cover.htm), accessed July 27, 2000.

6. 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.

7. Press, W., et al. Numerical Recipes in C. Cambridge University Press, 1992.

8. Instant Recall, Inc. SpecChek, www.irecall.com/specchek/SpecIndx.htm, SpecChek^TM homepage, accessed July 27, 2000.

9. 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