specification and description language

基本解释

The main work is as follows: Study video signal, USB2.0 specification and Hardware Description Language;
主要完成了以下工作：研究眡頻信號、USB2.0 槼範及硬件描述語言；
International Telecommunications Union, ITU Recommendation Z.100: Specification and Description Language (SDL), (08/02), ITU-T, 2002.
國際電信組織, ITU Recommendation Z.100: 槼範化描述語言 (SDL), (08/02), ITU-T, 2002.
In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediary.
本文利用時序狀態轉換系統作爲中介，提出一種把過程描述語言的項轉換成Z槼格的機械算法。