| ITU-T采用形式化描述技术的标准 |
鉴于建议书的使用复杂且广泛,必须利用充分和适当的描述技巧和语言以确保建议书达到质量等级要求。ITU-T Z.110建议书旨在向正式描述技巧(FDT)的使用提供指导,以确保ITU-T建议书的质量。在有特别的核实与认证要求的情况下,应采用FDT。FDT的有效使用有赖于分阶段地采用程序。本建议书讲述了实现这一任务的程序。FDT的有效使用意味着最新工具的采用。 |
|
| Citation: |
https://handle.itu.int/11.1002/1000/9620 |
| Series title: |
Z series: Languages and general software aspects for telecommunication systems Z.100-Z.199: Formal description techniques (FDT) Z.110-Z.119: Application of formal description techniques |
| Approval date: |
2008-11-13 |
| Approval process: | AAP |
|
Status: |
In force |
|
Maintenance responsibility: |
ITU-T Study Group 17 |
|
Further details: |
Patent statement(s)
Development history
|
|
|
|
|
|
ITU-T Supplement
|
Title
|
Status
|
Summary
|
Table of contents
|
Download
|
|
Z Suppl. 1 (04/2015)
|
ITU-T Z.100-series – Supplement on SDL+ methodology: Use of ITU System Design Languages
|
In force
|
here
|
here
|
here
|
|