一种软件需求描述语言的设计与实现

摘要：

提出了一种面向软件行为的需求建模方法和需求描述语言BDL,介绍了需求描述语言的设计和实现方法.利用此需求建模可以根据用户的需求信息寻找出目标系统的有效行为,建立目标系统的行为模型.该行为模型可以帮助用户和开发人员正确认识和理解目标系统的行为,而且能为以后自动检测系统的各种特性提供良好的基础.

关键词： 描述语言 软件开发 行为模型 需求分析 自动检测系统

作者: 姚昱 毋国庆 吴怀广 万黎

作者单位: 武汉大学,计算机学院,武汉,430072

会议类型: 国内会议

会议名称: 2009年全国理论计算机科学学术年会

会议地点: 哈尔滨

会议语种:中文

页码: 185-188

在线出版日期: 2009-08-07（万方平台首次上网日期，不代表论文的发表时间）