1.
Based Object-Z formal specification method software development;
基于Object-Z规格说明形式方法的软件开发
2.
Checking Behavioral Subtyping Inheritance for Object-Z Specification via Generating Proof Obligation
产生证明责任验证Object-Z规格说明的行为子类型继承
3.
An Approach to Generating Integration Test Case Based on Object-Z Specification
一种基于Object-Z规格说明的集成测试用例生成方法
4.
AN APPROACH TO SUBMITTING AND ISSUING Z SPECIFICATIONS UNDER INTERNET
一种在Internet环境下提交与发布Z规格说明的方法
5.
Relation and Function Mapping from Z Specification to C++STL;
Z规格说明中关系和函数到C++STL的自动转换
6.
Research and Realization of Automatism Refinement of List and Bag in the Z Specification;
Z规格说明中序列和包的自动求精研究与实现
7.
Research and Implementation of the Power Set Operator Automatic Refinement in Z Specification;
Z规格说明中幂集算子自动求精的研究与实现
8.
A REUSING MECHANISM OF TEST CASES BASED ON Z SPECIFICATIONS
一种基于Z规格说明的测试用例复用机制
9.
Set Theory Operator Automatic Refinement Research and Implementation in Z Specification;
Z规格说明中集合论算子的自动求精研究及实现
10.
Research and Implementation of the First Order Predicate Logic Operator Automatic Refinement in Z Specification;
Z规格说明中一阶逻辑算子自动求精的研究与实现
11.
C++STL-based Technology to Achieve Refinement and Transformation of Z Formal Specification
基于C++STL技术实现Z形式规格说明求精变换的研究
12.
Extending Slices of Object-Z Classes Based on Temporal Logic
基于时序逻辑的Object-Z类切片的扩展
13.
The request and specification manual for the product
产品需求和规格说明。
14.
specifications for (building)a garage
（建造）车房的规格说明
15.
Adding linear temporal logic with clocks to Object-Z
用带时钟变量的线性时态逻辑扩充Object-Z
16.
A product specification brochure is enclosed.
随函附上产品规格说明说,谨供参考.
17.
Review and finalize discipline standards and specifications
审阅并最终制定专业标准和规格说明
18.
Look, the specifications are at the bottom of this page.
看，这页的下边还有规格说明呢！