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: 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

Page Contact: Feedback Form

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: 04/25/2012
ResearchFHWA
FHWA
United States Department of Transportation - Federal Highway Administration