您要查找的是不是:
- 规格说明语言Zspecification language Z
- 维也纳开发方法规格说明语言Vienna Development Method Specification Language
- 面向方面分布式系统形式化规格说明语言Aspect-Oriented Distributed Formal Specification Language
- Z语言和实时timed CSP进行集成后,称为RT-Z。 因此RT-Z是一种集成形式化规格说明语言。So the thesis presents integrating Z and timed CSP.
- 规格norm
- 可执行的规格说明语言[计] executable specification language
- 说明语言descriptive language
- 属性说明语言property specification language
- 规格说明specification
- 测试说明语言[计] ATSL
- Z规格说明中笛卡尔积算子自动求精的研究与实现Cartesian Operator Automatic Refinement Research and Implementation in Z Specification
- 对话说明语言[计] DSL
- 高级说明语言high-level specification language
- 产品规格说明product requirement specification
- 接口说明语言[计] IDL
- Z规格说明Z specification
- 软件说明语言[计] SSL
- 规格说明表specification sheet
- 系统规范说明语言system specification language
- 规格说明宏指令specification macro