基于目标的软件可信性需求规约方法研究

• 作者: 兰雨晴 郭树行 金茂忠
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 可信剖面 面向目标 B抽象机 需求规约
• 年，卷（期）: 2007,（11）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 37-38,41
• 页数: 3页
• 分类号: TP311
• 字数: 2423字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.11.014

摘要

高可信系统的软件规模不断扩大,其关键是分析并定义一致的可信需求描述,直接影响到需求规格说明的质量,进而影响到最终软件产品的质量.在目前公认的非功能需求规约框架的基础上,利用B抽象机理论,结合面向目标的规约方法,建立了一种可信性需求的分析与定义方法,即软件可信剖面.该方法可应用于UML,利用B抽象机理论,为可信性需求模型的定理化证明奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	兰雨晴	北京航空航天大学计算机科学与技术系	35	592	13.0	24.0
2	金茂忠	北京航空航天大学计算机科学与技术系	124	2563	23.0	48.0
3	郭树行	北京航空航天大学计算机科学与技术系	10	115	5.0	10.0