这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
规约模式就是用某种形式化语言表示的设计模式。
Specification patterns are design patterns that are expressed in a formal specification language.
隐含否定的非规约性间接言语行为是表达层面上不具备否定的形式，但却具有否定内容的语言现象。
The non-conventional indirect speech act with implied negation is a linguistic phenomenon which has the negative meaning without negative structure.
第五章对比了常用软件测试方法，讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。
Chapter five compares the method with the common software testing and discusses the concept, basic knowledge and language of FormalMethods.
规约性渗透至语言使用的不同方面，体现为多个层面上的形式共选。
Conventionality prevails into every aspect of language use and co-selection is going on at multiple levels.
规约性渗透至语言使用的不同方面，体现为多个层面上的形式共选。
Conventionality prevails into every aspect of language use and co-selection is going on at multiple levels.
应用推荐