2) educational form and method
教育形式和方法
3) comment-forms and comment-methods
评论形式和品评方法
4) 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.
形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确，面向对象方法使目标软件系统的组织和分解工作更加系统、自然。
5) 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.
形式方法逐渐成为实时系统的分析、设计和书写系统软件规格说明的重要方法,通过形式方法生成的规格说明具有完整性、一致性、无二义性和精确性的特点,而且软件自动化的前提就是形式化。
6) means and forms
方法形式
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条