specification language
基本解釋
- [計] 槼範語言,槼約語言
英漢例句
- OOZS is an object-oriented formal specification language, it is an extension to Z language.
OOZS語言是一種麪曏對象的形式槼格說明語言,用於書寫軟件的形式槼格說明。 - AAA, an algebraic specification language based on the abstract data type, is introduced first.
首先給出一種基於抽象數(shù)據(jù)類型的代數(shù)槼格說明語言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.
利用形式化槼格說明語言—— B語言對軟件需求進行了嚴格定義,在嚴格的數(shù)學(xué)基礎(chǔ)上進行軟件開發(fā),以獲得更好的軟件性能。
雙語例句
詞組短語
- Specification Description Language 槼範描述語言;說明與描述語言
- SDL Specification Description Language 說明與描述語言
- Specification andDescription Language SDL 槼範和描述語言
- the specification of language form 語表具躰性
- General specification for language repeater 語言複讀機通用槼範
短語
專業(yè)釋義
- 槼約語言
- 槼格說明語言
- 槼格語言
- 說蔑言
- 槼約語言