includes sample designs in Unified Modeling Language (UML), requirement
specifications, and executable code.
In an attempt to thoroughly scope the problem of measuring software
assurance confidence and tool effectiveness and achieve vendor community