specification and description language

基本解釋

The main work is as follows: Study video signal, USB2.0 specification and Hardware Description Language;
主要完成了以下工作：研究視頻信號、USB2.0 規(guī)范及硬件描述語言；
International Telecommunications Union, ITU Recommendation Z.100: Specification and Description Language (SDL), (08/02), ITU-T, 2002.
國際電信組織, ITU Recommendation Z.100: 規(guī)范化描述語言 (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.
本文利用時序狀態(tài)轉換系統(tǒng)作為中介，提出一種把過程描述語言的項轉換成Z規(guī)格的機械算法。