Formal Specification Language的意思|示意

Much of our current exposure to formal specification comes with our use of languages, like the Object Constraint language (OCL), to provide rigor to our specifications and UML diagrams. 4.

目前我们的正式规范方式和我们使用的语言，如对象约束语言(ocl)，提供了的关于规范和UML图的严格要求。

LOTOS is a specification language that aims at describing the dynamic behavior of complex systems (formal description language).

LOTOS主要是用来描述复杂系统动态性的说明语言(形式描述语言)，是可操作的。

Specification patterns are design patterns that are expressed in a formal specification language.

规约模式就是用某种形式化语言表示的设计模式。

It? S not a formal specification, but a readable introduction to each language feature.

它并不是一个标准规范，而是一本介绍每门语言特性的可读书籍。

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.

语言就是形式化方法中具有代表性的一种形式规格说明，它语言精确、无二义性，可以用于推理和求精。

Software refinement is an important technology with respect to transformation from formal specification language to executable code.

软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。