您要查找的是不是:
- 分析了这两种方法的缺陷与不足,并指出了较Z语言形式化规格说明所具有的优缺点。It analyzes the defects of the two methods and indicates their merit and shortcoming through comparing with Z specification notation language.
- 规格norm
- Z规格说明中笛卡尔积算子自动求精的研究与实现Cartesian Operator Automatic Refinement Research and Implementation in Z Specification
- 规格说明specification
- 本体是在某个特定的上下文中共享概念的显式规格说明。An ontology is an explicit specification of a shared conceptualization that holds in a particular context.
- 规格型号specifications and models
- 产品规格product standard
- 技术规格technical specifications
- 可用的测试基础会极大地影响测试规格说明技术的选择。The available test basis greatly influences the choice of test specification techniques.
- 包装规格packing specifications
- 产品规格说明product requirement specification
- 软件规格说明software specification
- Z规格说明Z specification
- 规格说明表specification sheet
- 规格说明宏指令specification macro
- 模块规格说明module specification
- 要求规格说明[计] requirement specification
- 技术规格说明technical specification; technical specification
- 程序规格说明program specification
- 代数规格说明algebraic specification