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

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

youdao

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

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

youdao

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

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

youdao