设计模式的形式规约描述的研究对于设计模式的广泛重用具有重要意义。
The research on formal specification for design patterns acts an important role in reuse of design patterns.
这些贡献包括编程语言和数据类型的公理化，形式验证，形式规约与分析。
These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.
此项活动以用例和补充规约的形式，完成了系统的详细需求。
This activity completes detailing the requirements of the system in terms of use cases and Supplementary Specifications.
本文提出了一种新的简单的迹语义，用于刻画协议部分安全性质，即只针对协议规约的单个主体，此技术支持协议设计者对安全性质进行形式化规约。
This paper proposes a new simple trace semantics that can be used to specify security properties, this technique supports a protocol designer to provide formal analysis of the security properties.
规约模式就是用某种形式化语言表示的设计模式。
Specification patterns are design patterns that are expressed in a formal specification language.
基于队列网络模型，由化学抽象机中形式化描述的软件体系结构规约，导出了一种性能评价模型。
Then the paper derives a performance evaluation model, based on a Queueing Network Model, from a software architecture specification formally described in Chemical Abstract Machine.
第五章对比了常用软件测试方法，讨论了形式化方法的基本概念、数学预备知识和形式化规约语言。
Chapter five compares the method with the common software testing and discusses the concept, basic knowledge and language of FormalMethods.
隐含否定的非规约性间接言语行为是表达层面上不具备否定的形式，但却具有否定内容的语言现象。
The non-conventional indirect speech act with implied negation is a linguistic phenomenon which has the negative meaning without negative structure.
FSP是一类描述并发程序形式化规约的进程代数记法。
FSP is a kind of process algebra notation that can be used to describe formal specifications of concurrent programs.
本文试从艺术形式和思想内涵两个方面来说明残雪小说的过度实验，兼论小说创作应有的内在规约。
This paper tries from form and content to illustrate the excessive experimental of her novels, and also discusses how novels abide by the rules of what.
规约性渗透至语言使用的不同方面，体现为多个层面上的形式共选。
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.
应用推荐