1) means and forms
方法形式
2) formal methods
形式方法
1.
Five major formal methods for test sequence generation,based upon UIO sequences includingthe formally overlapping method proPOsed recently,are discussed through an example.
结合作者最近提出的基于ＵＩＯ序列的形式叠加测试方法，通过一个实例讨论了基于ＦＳＭ的５种主要的测试生成形式方法，它们分别是：ＵＩＯ方法、ＳＵＩＯ方法、ＭＵＩＯ方法、叠加方法和形式叠加方法。
2.
Integrating formal methods and object oriented methodology is considered as one of effective ways to make use of their desirable features for software development.
形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确，面向对象方法使目标软件系统的组织和分解工作更加系统、自然。
3) formal method
形式方法
1.
Improvement and analysis of Andrew RPC based on formal methods;
基于形式方法的Andrew RPC认证协议的分析与改进
2.
The formal method in conformance testing is extended and instantiated.
将“引入概率后的一致性测试形式方法”用ＦＳＭ模型进行实例化，并对原框架进行了扩充：把测试子序列（测试例）扩充为测试子树，把测试套扩充为测试树；此外还给出根据ＦＳＭ的差错组合计算实现的权和出现概率的方法，完成了关于ＦＳＭ实现的概率性评估。
3.
We can get a complete, consistent, unambiguous and precise specification with formal method.
形式方法逐渐成为实时系统的分析、设计和书写系统软件规格说明的重要方法,通过形式方法生成的规格说明具有完整性、一致性、无二义性和精确性的特点,而且软件自动化的前提就是形式化。
4) normal form method
法形式方法
5) 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的比较
6) 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.
本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的状态空间生成规律,从而达到快速预估模型状态空间规模的目的。
补充资料：非形式公理方法
非形式公理方法
informal axiomatic method
非形式公理方法【inf(用I.la刃“田日血皿灯加d;时咖pMa-月‘.“面皿e”oM绷，ec姗血MeTo八1 一种公理方法。面。皿tic nrt址记)，它不严格固定能应用的语言、因而也不固定对一个对象的有意义的理解的范围，但是需要关于给定研究对象的所有特殊概念的公理化定义.这个术语没有单一的普遍接受的解释. 公理方法的历史发展以不断增加的形式化程度为特征.非形式公理方法是这个过程中的一个阶段.Etlclld的原始的几何学公理结构以表述的演绎性质为其特征，而表述中定义(解释)和公理(明显的论断)处于基础地位.从它们出发，依赖于常识和明显性，演绎出推论.在演绎过程中，有时不言明地用了一些没有放在公理中的几何性质的命题，特别是关于空问中的运动以及线和点的相互配置.结果，几何概念出现了，与公理一样，使它们的应用规则化，它们为Euclid及其追随者不言明地使用.这里产生了问题:是否所有的公理在事实上已被发现?回答这个问题的指导原则曾由D .HUbert阐明:“人们在任何时候都必须能够说:代替点、直线和平面—桌子、椅子和啤酒杯.”如果一个证明在这样的替换后仍使人信服，则事实上用于这个证明的所有特殊命题在公理中是确定的.在这种方法中能够达到的形式化的程度是用来刻画非形式公理方法的形式化水平.这里珊比d的经典工作可以作为一个标准. 非形式公理方法不只是能够应用于对一个特定理论的公理化阐述给予一定的完全性.它是数学研究的一个真正的工具.当在研究一个对象系统时没有用到它们的专门的特征和“性质”，则所证明的命题可扩大到满足问题中公理的任何对象系统.按照非形式公理方法，公理是原始概念的隐式定义(而不是“明显真理”).研究的对象是什么是不重要的.必须知道的有关它们的每一件事都放在公理中.一个公理化理论的研究对象是它的任何一种解释(m化印比扭石。n). 非形式公理方法，除了所有特殊概念的必不可少的公理化定义之外，还有另外一个特征性质.这就是不受公理的约束和根据一种有意义的理解，对观念和概念的自由运用，只要它们能被应用到任何合理的解释而不管其内容.特别地，集合论的和逻辑的概念和原理广泛地被应用，还有与计数思想相联系的概念，以及其他基于有意义的理解和常识，而非基于公理的推理到公理化方法的渗透，来源于用来陈述和证明公理地给定的对象系统的性质的非固定的语言.把语言固定就导致形式公理系统观念(见公理方法(a刀。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条