|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程|基于形式化方法的需求分析

基于形式化方法的需求分析

塔维娜 何积丰

计算机工程2003，Vol.29Issue(18)：107-108,191,3.
✕
计算机工程2003，Vol.29Issue(18)：107-108,191,3.

基于形式化方法的需求分析

Requirement Analysis Based on Formalized Method

塔维娜 1何积丰1

作者信息

  • 1. 华东师范大学计算机科学技术系,上海,200062
  • 折叠

摘要

关键词

需求分析/形式化方法/B方法

分类

信息技术与安全科学

引用本文复制引用

塔维娜,何积丰..基于形式化方法的需求分析[J].计算机工程,2003,29(18):107-108,191,3.

计算机工程

OA北大核心CSCDCSTPCD

1000-3428

访问量2
|
下载量0
段落导航相关论文