期刊文章详细信息
基于形式化方法的需求分析
Requirement Analysis Based on Formalized Method
文献类型：期刊文章
机构地区：[1]华东师范大学计算机科学技术系,上海200062 [2]联合国大学国际软件技术研究所,中国澳门
年 份：2003
卷 号：29
期 号：18
起止页码：107-108
语 种：中文
收录情况：AJ、BDHX、BDHX2000、CAS、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、SCOPUS、UPD、ZGKJHX、核心刊
摘 要：利用形式化规格说明语言—— B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。利用形式化方法的需求分析，有助于发现需求中隐含的不一致性、二义性和不完整性，对其进行更深入精确的理解，从而进行规范化管理。
关 键 词：需求分析 形式化方法 B方法 规范化管理
分 类 号：TP311.52]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
