形式化方法 meaning in English
formal methods
Examples
- Modeling the control flow , temporal constraints and data flow of workflow based on uml statecharts respectively , and then verifying the correctness of them by formal method is the main contribution in this paper
由于工作流模型验证的重要性和必要性,本文基于uml状态图分别建立单个工作流的控制结构、时序约束和数据流模型,并应用形式化方法验证模型正确性。 - How can we guarantee the correctness of design ? one way of achieving these goals is by using formal methods , which are mathematically based languages , techniques , and tools for specifying and verifying such systems
为了提高数字硬件的设计层次，保证数字系统设计的正确性，采用“形式化方法” ( formalmethods )设计数字硬件或者集成电路系统是一种比较好的途径。 - A formal specification language like raise ( rigorous approach to industrial software engineering ) specification language ( rsl ) aims at providing a sound notation and a proof system for capturing requirements and expressing the functionality of software
形式化方法是以数学为基础，来定义硬件系统和软件系统的规约，并对系统进行验证的语言、技术和工具。 raise是形式化方法的一种，它的语言称为rsl 。 - The formal semantics of sql is the theoritical foundation of query rewriting , but there is no satisfying method to translate sql into a canonical form . in this paper , we propose a better formalizing method for sql which is more succinct
Sql的形式语义是查询重写研究的理论基础，本文在前人工作的基础上，提出了一种更加完善的形式化方法，不但消除了以往形式化方法的部分不足，而且从形式上也更为简洁、直观。 - The paper advances the introduce of fdt ( formal description technique ) into network instrument and distributed measuring and controlling system , achieving a set of normative method about designing , validating , realizing , testing protocol , uncovering bugs of that as soon as possible , checking and rectifying bugs , perfecting the protocol and shortening the exploitation cycle
摘要论文提出了将形式化方法引入网络仪器设计中的观点，使设计者在设计仪器网络接口时，拥有一套规范的协议设计、验证、实现、测试的方法，使开发者尽可能早的获知协议缺陷，最大限度的检测和纠正缺陷，进行协议的完善，同时缩短了协议开发周期，提高了协议实现的正确性。