expended by three important standards bodies (ISO/IEC, IEEE, and OMG) to
define standards for (1) the content of assurance cases for software and (2) the
process by which those assurance cases can be verified. At the same time, the
software safety community has begun to adapt and extend its standards for