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

• 作者: 何积丰 塔维娜
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 需求分析 形式化方法 B方法
• 年，卷（期）: 2003,（18）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 107-108,191
• 页数: 3页
• 分类号: TP311.52
• 字数: 3721字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2003.18.043

摘要

利用形式化规格说明语言--B语言对软件需求进行了严格定义,在严格的数学基础上进行软件开发,以获得更好的软件性能.利用形式化方法的需求分析,有助于发现需求中隐含的不一致性、二义性和不完整性,对其进行更深入精确的理解,从而进行规范化管理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何积丰	华东师范大学计算机科学技术系	12	410	6.0	12.0
3	塔维娜	华东师范大学计算机科学技术系	3	92	3.0	3.0