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

• 作者: 陈昊鹏 韩捷
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 形式化方法 SOFL 需求分析 软件工程 半形式化
• 年，卷（期）: 2007,（9）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 57-59
• 页数: 3页
• 分类号: TP3
• 字数: 2511字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2007.09.021

摘要

介绍了形式化方法在需求分析中的运用,并且介绍了SOFL作为一种优秀的形式化工程方法的一些特点.SOFL在需求分析阶段中采用从informal到semi-formal再到formal的逐步过渡和演化,并采用CDFD进行功能分解和数据流的精确定义,有助于精确且逻辑严密地描述需求,消除需求说明文档隐含的不一致性、二义性、不完整性,从而生成高质量的形式化描述的需求文档.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈昊鹏	上海交通大学高可靠软件实验室	25	124	7.0	9.0
2	韩捷	上海交通大学高可靠软件实验室	1	6	1.0	1.0