ITU-T Recommendations

Принимая во внимание сложность и широкомасштабное использование Рекомендаций, важно, чтобы использовались адекватные и надлежащие методы описания и языки для обеспечения требуемого уровня качества Рекомендаций. Целью Рекомендация МСЭ-Т Z.110 является предоставление руководства по использованию методов формального описания (FDT) для обеспечения качества Рекомендаций МСЭ-Т. Методы FDT следует использовать, если существуют особые требования к верификации и подтверждению правильности. Эффективное использование FDT требует введения поэтапных процедур. В данной Рекомендации определяются процедуры для выполнения этой задачи. Эффективное использование FDT подразумевает использование новейших средств.