|
Work item:
|
Z.110
|
|
Subject/title:
|
Criteria for use of formal description techniques by ITU-T
|
|
Status:
|
Approved on 2008-11-13 [Issued from previous study period]
|
|
Approval process:
|
AAP
|
|
Type of work item:
|
Recommendation
|
|
Version:
|
Rev.
|
|
Equivalent number:
|
-
|
|
Timing:
|
-
|
|
Liaison:
|
SGs 4, 11, 13, 15, 16; ETSI
|
|
Supporting members:
|
-
|
|
Summary:
|
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 this Recommendation 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.
|
|
Comment:
|
-
|
|
Reference(s):
|
|
|
Historic references:
|
|
Contact(s):
|
|
| ITU-T A.5 justification(s): |
|
|
|
|
First registration in the WP:
2008-05-09 14:17:14
|
|
Last update:
2008-11-19 13:44:06
|
