Producing Correct Software
James Wentworth,
Advanced Research Team,
Federal Highway AdministrationRodger Knaus,
Instant Recall, Inc.
Part I - IntroductionPart 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