作者：郭树行; 兰雨晴; 金茂忠可信剖面面向目标b抽象机需求规约
摘要：高可信系统的软件规模不断扩大，其关键是分析并定义一致的可信需求描述，直接影响到需求规格说明的质量，进而影响到最终软件产品的质量。在目前公认的非功能需求规约框架的基础上，利用B抽象机理论，结合面向目标的规约方法，建立了一种可信性需求的分析与定义方法，即软件可信剖面。该方法可应用于UML，利用B抽象机理论，为可信性需求模型的定理化证明奠定了基础。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《计算机工程》（CN：31-1289/TP）是一本有较高学术价值的大型月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《计算机工程》特点：以最快的速度、科学求实的精神，精选刊登代表计算机行业前沿科研、技术、工程方面的高、精、尖优秀论文。
部级期刊
人气 229063 评论 65
人气 212547 评论 35
省级期刊
人气 211819 评论 71
北大期刊、统计源期刊
人气 192412 评论 73
