ITU-T Recommendations

Etant donné la complexité et la large utilisation des Recommandations, il est impératif d'utiliser des langages et des techniques de description adéquats et appropriés pour garantir le niveau de qualité requis des Recommandations. La Recommandation UIT-T Z.110 a pour but de préconiser l'utilisation de techniques de description formelle (FDT) pour garantir la qualité des Recommandations UIT-T. En cas de besoins particuliers de vérification ou de validation, il convient d'utiliser des techniques FDT. L'utilisation efficace de techniques FDT impose de suivre des procédures de mise en oeuvre en plusieurs étapes. Ces procédures sont exposées dans cette Recommandation. L'utilisation efficace de techniques FDT impose d'employer des outils de pointe.