输入要查询的单词:
formal methods model
网络释义
方法模型
形式化 方法模型 ( formal methods model )的主要活动是生成计算机软件形式化的数学规格说明。形式化方法使软件开发人员可以应用严格的数学符号来说明、开发和验证基于计...
形式方法模型
形式方法模型(formal methods model) 2.2 典型的软件过程模型 2.2 典型的软件过程模型 2.2 典型的软件过程模型 2.2 典型的软件过程模型 2.3 面向对象的软件过程模型统...
形式化方法模型
... 基于构件的开发模型(Component- 形式化方法模型(Formal Methods Model) 数据字典(DD) ...
常用短语
正在查询...
{error}
你是不是想查找:
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接:
{link}
复制链接{phones}
{text}:[{value}]
{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词: {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}