In view of the complexity and widespread use of Recommendations, it is imperative that adequate and appropriate description techniques and languages be used to ensure the required quality levels of Recommendations. The purpose of Recommendation ITU-T Z.110 is to guide the use of formal description techniques (FDTs) to ensure the quality of ITU-T Recommendations. Where special requirements for verification and validation exist, FDTs should be used. The effective use of FDTs requires phased procedures to introduce their use. This Recommendation states the procedures to accomplish this task. Effective use of FDTs implies the use of state-of-the art tools.
ITU-T Z.110-2008 history
2008ITU-T Z.110-2008 Criteria for use of formal description techniques by ITU-T (Study Group 17)
2000ITU-T Z.110-2000 Criteria for Use of Formal Description Techniques by ITU-T Series Z: Languages and General Software Aspects for Telecommunication Systems Formal Description Techniques (FDT) - Application of Formal Description Techniques Study Group 10