1.
The formal specification of railway crossing system based on Real-Time Object-Z
基于Real-Time Object-Z语言的铁路交叉道口系统的形式化描述
2.
Z-80 Pragramming in Assembly Languages
Z-80汇编语言程序设计
3.
Extending Slices of Object-Z Classes Based on Temporal Logic
基于时序逻辑的Object-Z类切片的扩展
4.
Based Object-Z formal specification method software development;
基于Object-Z规格说明形式方法的软件开发
5.
Adding linear temporal logic with clocks to Object-Z
用带时钟变量的线性时态逻辑扩充Object-Z
6.
On Z Notation-based Formalization of Software Engineering
基于Z语言的软件工程形式化研究
7.
Z Language and Formalization of Software Architecture Style
Z语言与软件体系结构风格的形式化
8.
Research on Implementation of Object-Z Based Software Architecture to JAVA;
基于Object-Z的软件体系结构描述到JAVA的实现的研究
9.
Checking Behavioral Subtyping Inheritance for Object-Z Specification via Generating Proof Obligation
产生证明责任验证Object-Z规格说明的行为子类型继承
10.
An Approach to Generating Integration Test Case Based on Object-Z Specification
一种基于Object-Z规格说明的集成测试用例生成方法
11.
Major Reform of Mathematical Analysis Course --Teach the limit Theory by means of Z-Language;
数学分析课程的重大改革——用“Z”—语言讲极限理论
12.
Phrases without a verb are equally common, such as "behind the eight ball," "from A to Z" (a modernization of "from Alpha to Omega"), "a song and dance."
没有动词的谚语也很常见，如“处于不利的地位”，“从A到Z”，“花言巧语”，等等。
13.
a frequently voiced opinion; voiced consonants such as `b' and `g' and `z'; loud-voiced teenagers.
经常用言语表达观点；浊辅音如辅音' b'和' d'和'z'；高声的少年。
14.
Formal Specification and Verification of the Internet Logged System Based on Z Language
基于Z语言的互联网登陆系统的形式化规格与验证
15.
The formal semantics of RT-Z, based on the denotation semantics of Z and timed CSP, is a prerequisite for preciseness and mathematical rigour.
RT-Z的语义基于Z和timed CSP，这是它具有正确性和数学严格性的基础。
16.
sibilant letter or speech-sound,eg/s,z,F,V,tF,dV/
发嘶音的字母或语音（如 /s/,/z/,/f/,/V/,/tF/,/dv/
17.
Probing into the fact that the initial groups of ni(泥)and lai(来)are pronounced as/z/in Hefei dialect;
合肥方言泥来母今读[z]声母现象的探讨
18.
A spoken language or dialect.
语言说的语言或方言