基于B的UML形式化需求分析

• 作者: 任雪利 张志锋 徐洁 邓璐娟
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 形式化方法 B方法 统一建模语言
• 年，卷（期）: 2007,（8）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 133-135,175
• 页数: 4页
• 分类号: TP311.52
• 字数: 1385字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2007.08.039

摘要

为了消除软件需求中存在的不完整性、二义性和不一致性,可以用形式化方法描述软件需求;但是,形式化描述需要很强的专业知识,这样严重阻碍其广泛应用.为了使形式化描述简单、易行,提出了一种从UML试图转化为B形式化需求的一种新的实现方法,该方法通过在实际的项目中应用,取得了一定的效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张志锋	郑州轻工业学院计算机与通信工程学院	34	86	6.0	7.0
2	邓璐娟	郑州轻工业学院计算机与通信工程学院	54	399	11.0	18.0
3	徐洁	郑州轻工业学院计算机与通信工程学院	22	89	6.0	8.0
4	任雪利	曲靖师范学院信息与计算机科学系	18	56	5.0	6.0