Most recent
DS/ISO/IEC TR 15942:2000
Information technology - Programming languages - Guide for the use of the Ada progamming language in high integrity systems
This Technical Report translates general requirements into Ada specific ones. For example, a general standard might require that dynamic testing provides evidence of the execution of all the statements in the code of the application.
Content Provider
Danish Standards [ds]