D-Case Steps: New Steps for Writing Assurance Cases
D-Case Steps: New Steps for Writing Assurance Cases
复制标题
D 案例步骤：撰写保证案例的新步骤
DOI：
10.1007/978-3-319-99229-7_8
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Yutaka Matsuno
中科院分区：
文献类型：
--
作者：
Yuto Onuma;Toshinori Takai;Tsutomu Koshiyama;Yutaka Matsuno
本文提出了d - case步骤，即编写保证案例的新步骤。虽然保证案例的概念很简单，但编写保证案例却很困难：陈述最高目标、选择分解目标的策略、设置证据等都很困难。针对这一问题，我们在Kelly[8]的六步法等传统写作步骤的基础上，纳入了利益相关者分析步骤和共识构建步骤。本文报告了两个使用D-Case步骤的保证案例研讨会，并通过参与者完成的问卷结果评估D-Case步骤。
This paper presentsD-Case Steps, new steps for writing assurance cases. Although the concept of assurance cases is simple, writing assurance cases is difficult: stating the top goal, selecting strategies for decomposing goals and setting evidence, etc. are all difficult. For this problem, based on conventional writing steps such as the six steps method by Kelly [8], we incorporate stakeholder analysis step and consensus building step. This paper reports two assurance case workshops using D-Case steps, and evaluates the D-Case steps by the results of questionaries done by the participants.
登录
查看更多内容
走向案例置信度保证理论
影响因子：
3.7
作者：
J. Goodenough;C. Weinstock;Ari Z. Klein
通讯作者：
Ari Z. Klein
更清楚地理解背景及其在保证论证信心中的作用
DOI：
10.1007/978-3-319-10506-2_10
发表时间：
2014
期刊：
--
影响因子：
--
作者：
P. Graydon
通讯作者：
P. Graydon
D-Case Communicator：面向多个利益相关者的基于 Web 的 GSN 编辑器
DOI：
10.1007/978-3-319-66284-8_6
发表时间：
2017
期刊：
Proc. of ASSURE2017
影响因子：
--
作者：
Kohei Nishino;Takashi Kitamura;Tomoji Kishi;Cyrille Artho;Yutaka Matsuno
通讯作者：
Yutaka Matsuno
使用 Beta 分布表示保证案例中的置信度
DOI：
10.1109/hase.2016.52
发表时间：
2016
期刊：
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE)
影响因子：
--
作者：
Lian Duan;Sanjai Rayadurgam;M. Heimdahl;O. Sokolsky;Insup Lee
通讯作者：
Insup Lee
社交建模和 i*
DOI：
10.1007/978-3-642-02463-4_7
发表时间：
2009
期刊：
Physical review. E, Statistical, nonlinear, and soft matter physics
影响因子：
--
作者：
E. Yu
通讯作者：
E. Yu