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