Instead of simulating a design the correctness is proven by formal techniques.
不是类比一种设计正确性被正式的技术证明。
It focuses on the interaction between project staff members rather than specific technologies or formal techniques.
它把重心集中在项目员工之间的相互作用，而非特定的技术和正式的技术。
There exist challenges in applying formal techniques to electronic contract signing protocols, which are not encountered in the analysis of key exchange and authentication protocols.
与密钥分发和认证协议相比，电子合同签订协议的形式化分析遇到了新的挑战。
Because of this, the book is intended for CAD developers and researchers in the verification domain, where formal techniques become a core technology to successful circuit and system design.
因为这，书为计算机辅助设计开发者和在证实领土的研究人员准备，在那里正式的技术对成功的电路和系统设计成为一项核心技术。
Experimental results show that using formal techniques to direct simulation captures the main characteristics of error location and improves the effectiveness and efficiency of design error diagnosis.
实验结果表明，利用形式验证的技术来导向模拟的过程，抓住了高复杂度的多错误定位问题的特征，提高了电路错误诊断的效率。
It covers data flow diagrams and several formal specification techniques, such as relational notations, state notations, regular expressions, and so on.
它覆盖了数据流图和一些正式的规范技术，如关系记号，状态记号，规则表示法等等。
A new family of development processes known as agile techniques teach you to emphasize automated testing more and to lean less on formal design artifacts as the sole tool for improving quality.
一套称作敏捷技术的新开发过程告诉人们要更加重视自动测试，不要太多地依赖正式的设计工具，将它们作为提高质量的惟一工具。
It has more in common with formal linguistics than traditional procedural-design techniques.
它与正式的语言学、而不是传统的过程设计技术有共同之处。
The EXI format USES a hybrid approach drawn from the information and formal language theories, plus practical techniques verified by measurements, for entropy encoding XML information.
exi格式使用一种源于信息和正式语言理论的混合方法以及经过测量验证的实践技术对XML信息进行熵编码。
By using lightweight code review techniques, developers can review code in one-fifth the time needed for full, formal code reviews.
通过使用轻量级代码评审技术，开发员只需要花费五分之一的时间就可以进行全面且规范的代码评审工作了。
In an effort to keep Merb core really tight, we're also adopting some more formal programming and documentation techniques that will make working on and using Merb much easier.
为了保持Merb核心足够整洁紧密，我们也采用了更加正式的编程和文档技巧来使Merb的使用更加容易。
But as a project gets larger, formal processes and techniques become essential.
但是，一旦项目的规模变大了，这些正规的管理过程和技巧就是项目管理者必备的了。
We used our case study at Cisco to determine how the lightweight techniques compare to the formal processes.
我们使用在Cisco中的案例研究，来确定轻量级技术与规范过程比较的特点。
With formal review techniques, the discussion centers around defects.
对于常规的检查来说，讨论的主题就是缺陷。
Greet and introduce yourself to a pen Pal from abroad using formal conversation techniques. Give precise information about yourself, such as your age, your origins and your family.
问候，用正式的会话方法将您自己介绍给来自国外的笔友。给出关于你自己的准确信息如年龄、出生地、你的家庭等。
Consider that reflect the leather, suede and silk texture of the decorative techniques such as living room to create a elegant appearance, increased formal atmosphere.
考虑使用能够体现皮革、小山羊皮和丝绸等质感的装饰技巧，为起居室营造出雅致的外观，增加正式的气氛。
Much research has been done recently in the area of formal description techniques (FDT) and their use for protocol design validation, implementation development and testing.
最近在形式描述技术(FDT)领域及其用于协议设计验证、实现开发和测试方面已做了大量的研究工作。
A transport protocol and its formal description techniques for local networks are discussed.
本文研讨局部网络的传输协议及其形式描述技术。
The formal description techniques for intelligent network (IN) service and the theory and methods in IN's service verification are the key technologies in IN's realization.
智能网业务的形式化描述技术和业务验证的理论与方法是目前智能网（IN）业务实现过程中的关键技术。
Inquiry can be more or less formal, more or less rigorous, and can involve a wide range of techniques, methods, and procedures, as well as produce very different kinds of outcomes or final products.
探究的严格性或正规性可能会或多或少地有所不同，它包含了一系列的技术、方法和程序，并产生不同的结果或成品。
Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques (FDT) for in service and the theory and methods in in's service verification.
本文依据国际电信联合委员会(itu - T)的智能网能力集建议，对智能网业务的形式化描述技术(FDT)、智能网业务逻辑验证的理论与方法等进行了研究。
However, the deployment of the existing tools in real-world projects also showed the weaknesses and problems of formal verification techniques.
不过，在现实世界工程的现有的工具的部署也显示正式的证实技术的弱点和问题。
In the project of HDTV channel receiving ASIC, DFT techniques based on scan-chains, STA (Static Timing Analysis) and formal verification has been adopted.
数字高清晰度电视信道接收芯片实现中使用了基于扫描链的可测试设计和静态验证技术。
Introduces techniques for describing and analysing the production, distribution and reception, as well as the formal properties, of media texts.
本课程介绍描述和分析媒介文本的生产、发行、接受及其属性的方法。
The disadvantage of it is lacking a formal semantics and difficult to apply, directly, mathematical techniques on UML models for system validation.
但UML的缺点是难以直接用数学工具对uml模型进行检验，另外uml在语义方面也存在一些不足。
We loved the handicraft tradition within the arts of China, and we incorporated many of these techniques within our design, which in formal terms is modern.
我们非常喜欢中国的传统手工艺，并在设计中融入相关技术，看上去感觉非常现代。
At the technical level, the focus will be on the specific, mostly formal, techniques, methods, and applications of a computational approach, and the effectiveness and limitations of the approach.
在技术的层次上，则将著重于演算法里特定的、多数为正式的、方法、和对运算进路的应用，及其有效性与极限。
Planar techniques limited categories of works, upload size and resolution required to meet the formal requirements.
平面类作品技法不限，上传规格和分辨率需符合格式要求。
Planar techniques limited categories of works, upload size and resolution required to meet the formal requirements.
平面类作品技法不限，上传规格和分辨率需符合格式要求。
应用推荐