Résumé

Etant donné la complexité et l'utilisation généralisée des Recommandations, il est impératif d'user de méthodes perfectionnées pour l'élaboration et l'application de ces Recommandations.

Les techniques de description formelle (TDF), comme le langage de description et de spécification (Recomman­dation Z.100) et le diagramme de séquences de messages (Recommandation Z.120) constituent une importante méthode d'approche dans cette direction. La présente Recommandation vise à indiquer l'utilisation des techniques TDF pour assurer la qualité des Recommandations UIT-T.

L'introduction de l'utilisation effective des techniques TDF requiert l'emploi de procédures comportant plusieurs étapes, que la présente Recommandation spécifie.

L'utilisation effective de ces techniques entraîne celle d'"outils" de pointe.