软件需求的形式化转换模型

• 作者: 侯丽珍 蔡小娟 邹恒明
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 软件需求 形式化转换 软件可靠性
• 年，卷（期）: 2007,（5）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 73-75
• 页数: 3页
• 分类号: TP311
• 字数: 2991字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.05.025

摘要

需求规范错误是软件设计错误的一大类.该文提出了一个软件需求的形式化转换模型,用来将软件需求分析直接、自动地转换为形式化描述,为需求验证提供帮助,避免软件在需求规范上可能产生的错误.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邹恒明	上海交通大学计算机科学与工程系	22	84	5.0	8.0
2	蔡小娟	上海交通大学计算机科学与工程系	3	15	1.0	3.0
3	侯丽珍	上海交通大学计算机科学与工程系	1	14	1.0	1.0