Z is presently the most fashionable formal specification. But as a whole, the theory and technology of Z specification isn't extensively applied in industry field.
是目前最为流行的一种形式规格说明语言,但就总体而言,Z规格说明的理论和技术尚未达到可以在工业界广泛应用的程度。
This paper introduces the implementation of a Z specification type checker, meanwhile the environment of type check, unification method, substitution strategy are also discussed.
本文介绍Z规格说明类型检查器的实现方法,并对类型检查的环境、一致化方法、替换策略和类型变量的应用等问题进行讨论。
In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediar.
为了解决不同应用中机器人的控制程序设计问题,提出了基于状态转换的机器人程序设计方法。
In this paper, a mechanical algorithm is proposed for translating description of process description language to Z specification, and temporal status transition system is used as intermediary.
本文利用时序状态转换系统作为中介,提出一种把过程描述语言的项转换成z规格的机械算法。
This paper presents a simple example of specifying a drawing system in Z and illuminates object-oriented system specification by adding object-oriented structure to Z.
通过一个简单的绘图系统实例阐明了通过在Z语言中增加面向对象的结构来实现面向对象的系统说明。
Nowadays, theformalized methods in software development mainly are formalized specification languages, such as Z language, VDM language and RAISE language, etc.
目前软件开发中的形式化方法主要是形式化规范说明语言,有Z语言、VDM语言和RAISE语言等。
But the current specification GB50018-2002 does not consider the effect of lip inclination, hence, it cannot be effectively used in designing inclined lipped Z-section purlins.
而现行冷弯型钢设计规范GB 50018- 2002采用有效截面法计算受弯构件的屈曲荷载并没有考虑卷边角度的影响,不能合理的进行斜卷边Z型檩条的屈曲荷载设计。
Z language is a formal specification which is representative in formal method. Z language is accurate and without different meanings. It could be used to discursion and refinement.
语言就是形式化方法中具有代表性的一种形式规格说明,它语言精确、无二义性,可以用于推理和求精。
Z language is a formal specification which is representative in formal method. Z language is accurate and without different meanings. It could be used to discursion and refinement.
语言就是形式化方法中具有代表性的一种形式规格说明,它语言精确、无二义性,可以用于推理和求精。
应用推荐