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