基于敏捷建模的形式化需求分析方法

• 作者: 平龙妹 张宇
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 敏捷建模 形式化方法 需求分析 需求工程 VDM语言
• 年，卷（期）: 2008,（12）
• 页码范围: 1680-1682
• 页数: 3页
• 分类号: TP311

摘要

软件需求分析是软件生命周期中最关键的一步。传统的需求建模方法主要有两个重大的缺陷：1）非形式化的需求描述常常导致需求的歧义性和不一致性，因而难以确认和验证；2）易变一牲，需求变更及其连锁反应是对项目质量、进度乃至合同履行影响最大的风险因素。本文针对软件需求分析阶段的难点，通过将形式化方法和敏捷建模理论相结合，提出一套基于敏捷建模的形式化需求分析方法。