您要查找的是不是:
- This is a purely formal approach. 这是一种形式主义的观察。
- To realize the function of workflow management, the business process must be abstracted from the real world and described by a kind of formal method. 摘要为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述。
- This paper presents a formal approach to specify security model based on the theory of finite state machine(FSM) and the concept of communicating sequential process (CSP). 本文基于有限状态机(FSM)的理论,结合通信顺序进程(CSP)的概念,提出了一种开发安全模型的形式化方法。
- Based on t he model, requirements for the system can be specified from goals, and the contr oller can be designed according to the plant-based formal approach. 基于这样的模型,可以从目标要求中直接提取系统需求,控制器也可以根据基于对象的形式化方法进行设计。
- To eliminate the incompleteness,inconsistence and ambiguity in the software requirement,the formal method could be used to describe the requirement. 为了消除软件需求中存在的不完整性、二义性和不一致性,可以用形式化方法描述软件需求;
- Without following this formal approach you are unlikely to remember all the niggling little details; with this procedure, the details are simply displayed on the final lists. 如果不那么做,你无法记住所有的琐碎细节,但采用这种方法的,这些细节能够清楚的体现在最终的工作列表之上。
- The paper contributes to developing non-recursive algorithm using formal method and new strategy of developing loop invariant. 对使用形式化方法及循环不变式开发新策略开发非递归算法作了较深入的实践和探讨。
- Combining the request of software testing, chapter six gives an example of using RAISE in CSTA system testing and analyzes the Formal Method technique. 第六章结合软件系统测试的需要,给出了一个用RAISE形式化CSTA的实例,并根据该实例剖析了系统测试中的形式化技术。
- Combination of modeling based on UML and modeling based on formal method is one of the good solutions for verification and modeling of embedded real-time software. 为了提高系统的安全性和可靠性;将基于UML的建模方法与形式化建模方法相结合;可以为嵌入式实时软件建模和验证提供一种良好的解决方案.
- In 1989, Burrow, Abadi and Needham developed BAN logic, which quickly become the most widely used and discussed formal method for the analysis of protocols. 1989年,Burrow,Abadi和Needham提出了BAN逻辑,它很快得以广泛的应用并且成为分析协议的常规方法。
- But after hearing reports that Chelsea have offered £17million for Alves, Sevilla president Jose Maria del Nido scoffed at the rumours, insisting no formal approach had been made. 但是在听到有报道说切尔西出价1700万镑买阿尔维斯的时候,塞维利亚主席德尔尼多对这些传闻嗤之以鼻,坚称没有收到任何正式的报价。
- Results show that the conceptual design model of mechanical product based on polychromatic sets can be described and reasoned with formal method, and programmed easily. 研究表明,基于多色集合理论建立的机械产品概念设计模型易于形式化描述和推理,方便计算机编程。
- The 17 year-old StraSuper Boyourg midfielder has attracted a formal approach from the Gunners, but Chelsea are also keen and will battle their London rivals for the teen's signature. 这位17岁的斯特拉斯堡队的中场小将已经与枪手开始了正式接触;但切尔西队对他同样很有爱好并且将与同城死敌争相签下这名年轻新星.
- Equivalence partitioning is a much more formalized method of test case design. 等价类划分是一个更加形式化的设计测试用例的方法。
- A formal approach was presented on the basis of both Hoare's Communication Sequential Processes (CSP) and theoretical results of network formalization. 基于霍尔的“通信顺序进程”和相关的网络形式化的理论研究结果,提出了一种网络故障管理的形式化方法。
- This paper makes a summary of seurity of protocols and formal method in chapter 2.Strand Space, brought forward by Fabrega, Herzog and Guttman, is a applied, intuitionistic and strict formal method for security protocols analysis. 串空间(STRAND SPACE)模型由Fabrega, Herzog和Guttman三人提出,是分析安全协议的一种实用、直观和严格的形式化方法。
- However, Inler is tied to Udinese on a long-term contract and Lamberti admits there have been no formal approaches as yet. 然而目前因勒而乌迪内斯有长期的合同,兰博迪也承认现在还没有正式的接触。
- By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model. 借助于归纳推理的局部合理性推论,本文修正了常见非单调逻辑的推理模式,从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
- Towards a Formal Approach to Semantics 语义学的形式化研究
- Formal methods of teaching are going out fast,and new ones are coming in all the time. 正规的教学方法正迅速过时,新的方法正不断出现。