And French was the language of refinement and high society through the 19th century in the United States.
在十九世纪的美国，法语被认为是高尚的语言和上流社会的语言。
Software refinement is an important technology with respect to transformation from formal specification language to executable code.
软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。
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.
语言就是形式化方法中具有代表性的一种形式规格说明，它语言精确、无二义性，可以用于推理和求精。
应用推荐