U.S. Department of Transportation
Federal Highway Administration
1200 New Jersey Avenue, SE
Washington, DC 20590
202-366-4000

Skip to content
Facebook iconYouTube iconTwitter iconFlickr iconLinkedInInstagram

Federal Highway Administration Research and Technology
Coordinating, Developing, and Delivering Highway Transportation Innovations

Report
This report is an archived publication and may contain dated technical, contact, and link information
Publication Number: N/A
 Date: 1999

Producing Correct Software

James A Wentworth
Advanced Research Team
Federal Highway Administration

Rodger Knaus
Instant Recall, Inc.

Table of Contents

Part I - Introduction

Part II - Correctness Given Mathematical Specifications

Part III - Producing Reliable Software - Other References

Part IV - Verification and Validation for Prediction Software

Part V - Applying Experimental Results


Page Owner: Office of Research, Development, and Technology, Office of Operations, RDT

Scheduled Update: Archive - No Update

Technical Issues: TFHRC.WebMaster@dot.gov

Topics: Research, operations.

Keywords: Research, operations, software development, validation.

TRT Terms: Research, operations, Information organization, Information management, Data processing, Software, validation.

Updated: 03/08/2016