1) Formal methods tool
形式化方法工具
1.
Formal methods tools are typically developed and used in UNIX/Linux system,and the difficulties in the use of the tools prevent the formal methods from being more popularized.
形式化方法工具通常是在UNIX/Linux系统下设计开发的,难于使用阻碍了形式化方法的进一步推广。
2) formal tool
形式化工具
1.
It must depend on formal tool which helps to check the validity of service combination.
在目前对于服务组合的研究中,对于用业务流程执行语言(BPEL)和WSCL等标准语言来描述的服务来说,语言本身缺乏对组合正确性进行检验的支持,必须借助相关的形式化工具来完成对服务组合的检验。
3) formal methods
形式化方法
1.
Research and Design of a Web-based Formal Methods Tool:RRTChecker;
基于Web的形式化方法工具RRTChecker的研究与设计
2.
Technology of Software Development Based on Formal Methods;
基于形式化方法的软件开发技术
3.
Comparison of formal methods:Designware,B.;
形式化方法Designware、B的比较
4) formalization method
形式化方法
1.
An approach is developed to model virtual enterprises using this formalization method which will improve virtual enterprise modelling and implementation.
为开发正确、可靠、基于模型驱动的虚拟企业信息系统 ,满足虚拟企业对于可伸缩性、可重构性、可重用性以及互操作性的要求 ,在虚拟企业建模与开发过程中引入形式化RAISE (工业软件工程严格方法 ) ,分析了在虚拟企业组建中应用形式化方法的优点 ,讨论了 RAISE与有着广泛应用的传统 IDEF(集成计算机辅助制造定义方法 )的结合 ,并给出了运用形式化方法进行虚拟企业建模的方案。
2.
In this paper,a formalization method to symbolize the state space generation process is defined according to the special structure of large complex serial system,based on which the discipline of state space generation for such a system is studied,and then a theorem is stated and proven to fleetly predict the potential scale of state space of that system\'s model.
本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的状态空间生成规律,从而达到快速预估模型状态空间规模的目的。
5) formalized method
形式化方法
1.
Researches on the historical development of formalized method help us to gasp its essence,developmental trend and func.
形式化方法是现代逻辑最重要的方法。
2.
Different forms of formalized method may be complimentary in function.
软件工程中的形式化方法就是依靠数学模型和计算来描述和验证一个目标软件系统的行为和特性,包括需求规格、设计和实现等,其最根本的一点就是建立在严格的数学基础上的方法。
3.
This paper sums up a kind of patterns and a formalized method in resolving mathematical problems.
对数学解题中一类规律进行了总结,重点通过齐次线性方程组的形式化解法说明了数学解题中形式化方法的应用,说明了应用此方法可以把许多复杂的数学问题的综合答案同时求出,从而收到事半功倍的效果。
6) formalism
[英]['fɔ:məlɪzəm] [美]['fɔrmə'lɪzəm]
形式化方法
1.
The refinements and logic of the formalism methods may ensure the correctness and consistency between the requirment stoge and design stage.
实时编程语言提供了运行时实时约束支持机制,而形式化方法的精化及推理机制可以最大限度地保证分析设计阶段系统的正确性和一致性,多视点软件开发思想则改进了软件开发过程的复杂性。
补充资料：形式化方法
形式化方法
formalization method
形式化方法饰“旧曲口d佣n论d饭日:中opM幼。3au。。MeTo皿」 一个用形式系统(forrnals”之。刀)表示数学理论的方法.它是证明论(proofthoory)的主要方法之一 形式化方法的应用包括完成以下几个步骤: l)将原有的数学理论符号化，在这一步，该理论的所有命题都用适当的逻辑—数学语言L写下来. 2)对该理论的演绎分析和对公理的选择，即该理论的所有其他命题都可以从它们逻辑地导出的那些命题的选择. 3)将用符号表示的公理加到L上适当的逻辑演算(logical calcul比)中. 现在，用这种形式化方法所获得的系统本身便是精确数学研究的对象(见公理方法(~订以tic rnethed);证明论(ploofth印马.)).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条