一种结合UML和B的软件需求获取方法

• 作者: 王友
• 来源期刊: 重庆科技学院学报（自然科学版）
• 学科: 工学
• 关键词: B方法 UML 形式规约 家庭智能控制系统
• 年，卷（期）: 2012,（3）
• 所属期刊栏目: 计算机·电工
• 页码范围: 142-146
• 页数: 5页
• 分类号: TP311.5
• 字数: 2802字
• 语种: 中文

摘要

精确的软件需求是软件质量的保证,UML在软件需求中起着重要的作用,它用于描述软件的需求模型、对象模型、动态模型和部署模型.然而UML缺乏形式化方法的准确语义,很难产生准确无歧义的软件规约.使用B和UML结合的方法,借助形式化方法的精确语义和规约级证明义务来产生准确一致的系统规约,并结合家庭智能控制系统说明了结合使用B和UML规约的过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王友		3	8	1.0	2.0