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.
首先给出一种基于抽象数据类型的代数规格说明语言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语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。
双语例句
词组短语
- Specification Description Language 规范描述语言;说明与描述语言
- SDL Specification Description Language 说明与描述语言
- Specification andDescription Language SDL 规范和描述语言
- the specification of language form 语表具体性
- General specification for language repeater 语言复读机通用规范
短语
专业释义
- 规约语言
- 规格说明语言
- 规格语言
- 说蔑言
- 规约语言