形式与方法,forms and methods,音标,读音,翻译,英文例句,英语词典

您的位置：首页 -> 词典 -> 形式与方法

1) forms and methods 点击朗读

形式与方法

例句>>

2) Methods and Cultural Forms 点击朗读

方法与文化形式

3) Teaching organization forms and methods 点击朗读

教学组织形式与方法

例句>>

4) The Method of Pattern and Formalization 点击朗读

模型方法与形式化

5) formal specification and verification 点击朗读

形式化描述与验证方法

例句>>

6) formal methods 点击朗读

形式方法

Five major formal methods for test sequence generation,based upon UIO sequences includingthe formally overlapping method proPOsed recently,are discussed through an example.

结合作者最近提出的基于ＵＩＯ序列的形式叠加测试方法，通过一个实例讨论了基于ＦＳＭ的５种主要的测试生成形式方法，它们分别是：ＵＩＯ方法、ＳＵＩＯ方法、ＭＵＩＯ方法、叠加方法和形式叠加方法。

Integrating formal methods and object oriented methodology is considered as one of effective ways to make use of their desirable features for software development.

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确，面向对象方法使目标软件系统的组织和分解工作更加系统、自然。

更多例句>>

补充资料：方法

关于解决思想、说话、行动等问题的门路、程序等：工作～ㄧ学习～ㄧ思想～。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。

参考词条

形式化方法

方法形式法形式方法形式与做法参与式方法模式与方法体式与方法

说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
	您的位置：首页 -> 词典 -> 形式与方法 1) forms and methods 形式与方法例句>> 2) Methods and Cultural Forms 方法与文化形式 3) Teaching organization forms and methods 教学组织形式与方法例句>> 4) The Method of Pattern and Formalization 模型方法与形式化 5) formal specification and verification 形式化描述与验证方法例句>> 6) 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. 形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确，面向对象方法使目标软件系统的组织和分解工作更加系统、自然。更多例句>> 补充资料：方法关于解决思想、说话、行动等问题的门路、程序等：工作～ㄧ学习～ㄧ思想～。说明：补充资料仅用于学习参考，请勿用于其它任何用途。参考词条形式化方法

©2011 dictall.com