Announcements

Get SpecCheck for online specification checking

Take charge of your own software inspection by checking software computations in real time against your specifications. SpecChek by Instant Recall, Inc. tests specifications written by your engineers against the results produced by software you use, and reports any instance where the software fails to meet the specifications. More Info.

What does it take to produce correct software?

From the Turner Fairbank Highway Research Center Website: "What does it take to produce correct software? Why should we look at this subject area? Producing Correct Software, By: James Wentworth, Chief of the Advanced Research Team and Rodger Knaus of Instant Recall.

Validation of Expert Systems

Verification, Validation, and Evaluation of Expert Systems, an FHWA Handbook discussing how VV&E should be incorporated into the expert system lifecycle by James A Wentworth of the Federal Highway Administration, Rodger Knaus , and Hamid Aougab of Instant Recall.

OSHA announces $afety Pays

Tailor is used for $afety Pays, "interactive software developed by OSHA to help employers assess the impact of occupational injuries and illnesses". See OSHA News Release for more information.