基本解釋[計] 規(guī)范語言,規(guī)約語言英漢例句雙語例句OOZS is an object-oriented formal specification language, it is an extension to Z language.OOZS語言是一種面向?qū)ο蟮男问揭?guī)格說明語言,用于書寫軟件的形式規(guī)格說明。AAA, an algebraic specification language based on the abstract data type, is introduced first.首先給出一種基于抽象數(shù)據(jù)類型的代數(shù)規(guī)格說明語言AAA;The paper models software requirement in the form of formalized specification language B, develops software based on a precise mathematical framework in order to achieve better software performance.利用形式化規(guī)格說明語言—— B語言對軟件需求進(jìn)行了嚴(yán)格定義,在嚴(yán)格的數(shù)學(xué)基礎(chǔ)上進(jìn)行軟件開發(fā),以獲得更好的軟件性能。specification language更多例句詞組短語短語Specification Description Language 規(guī)范描述語言;說明與描述語言SDL Specification Description Language 說明與描述語言Specification andDescription Language SDL 規(guī)范和描述語言the specification of language form 語表具體性General specification for language repeater 語言復(fù)讀機(jī)通用規(guī)范specification language更多詞組專業(yè)釋義計算機(jī)科學(xué)技術(shù)規(guī)約語言規(guī)格說明語言規(guī)格語言電子、通信與自動控制技術(shù)說蔑言規(guī)約語言