surensemble

CONT: Le but de la validation Ada est d'assurer sa conformité à la norme (ANSI/MIL-STD-1815A-1983) et de prévenir la prolifération de sous-ensembles, de surensembles ou de dialectes du langage Ada.
OBS: Termes (et justifications) tirés des bitextes intitulés : «TBITS 9 : Programming Language ADA - Implementation Criteria/NCTTI 9 : Langage de programmation ADA - Critères d'applicabilité» publiés dans les Normes du Conseil du Trésor sur la technologie de l'information (NCTTI)/Treasury Board Information and Technology Standards (TBITS) par le Secrétariat du Conseil du Trésor du Gouvernement du Canada.

CONT: The goal of Ada validation is to ensure compliance to the standard (ANSI/MIL-STD-1815A-1983) and prevent the proliferation of subsets, supersets, or dialects of the Ada programming language.