它们描述了设计约束，但是它们不是面面俱到的设计规约。
They show design constraints, but they are not design specifications in every detail.
使用Rational Software ArchitectV7.0的一个最大的优势是同步您的演进架构与建模您的演进代码的设计规约的能力。
One of the biggest advantages of using Rational Software architect V7.0 is the ability to synchronize your evolving architecture and design contract models your evolving code bases.
这个视图再由设计师来细化，设计师开发服务规约说明——结构上的和行为上的——这个服务规约说明担当服务的客户和实现者之间契约的作用。
This view is further detailed by designers, who develop the service specifications — both structural and behavioral — that act as the contracts between the services' clients and implementers.
论述了嵌入式电力通信规约适配器设计的必要性与可行性。
Discusses the necessity and feasibility to design embedded power communication protocol adapter.
规约模式就是用某种形式化语言表示的设计模式。
Specification patterns are design patterns that are expressed in a formal specification language.
设计模式的形式规约描述的研究对于设计模式的广泛重用具有重要意义。
The research on formal specification for design patterns acts an important role in reuse of design patterns.
本文所设计的远动规约转换软件可以在需要进行远动规约转换的调度所安装使用。
The remote communication protocols conversion software, which is designed in this paper, may be installed and used in control center, which need communication protocols conversion.
本文提出了一种新的简单的迹语义，用于刻画协议部分安全性质，即只针对协议规约的单个主体，此技术支持协议设计者对安全性质进行形式化规约。
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.
针对SCADA系统中远动规约标准不统一，提出基于COM技术的规约插件的设计与实现原理。
The design and implementation principle of protocol card based on COM technology is proposed in view of different remote operation protocol standards in SCADA system.
发电报价（或投标）规约是电力拍卖市场规则设计的一项重要内容。
Some stipulations of generation bidding in energy auction and capacity auction are summarized and analyzed in this paper.
文中还设计了改进CDT通讯规约C语言编程的通讯软件。
Also, this paper do some work on designation on the communication software of improved CDT communication protocol scheme with Clanguage.
对于用近似算法求得的出分枝，又结合前面的规约规则设计了优化规则，以进一步通过优化变换增加出分枝的叶子节点。
An approximation algorithm was given to find an out-branching with many leaves in the reduced digraph. Furthermore, some optimization rules were given to improve the out-branching.
对于用近似算法求得的出分枝，又结合前面的规约规则设计了优化规则，以进一步通过优化变换增加出分枝的叶子节点。
An approximation algorithm was given to find an out-branching with many leaves in the reduced digraph. Furthermore, some optimization rules were given to improve the out-branching.
应用推荐