Warning: Invalid argument supplied for foreach() in /home/sdm-mlab/www/mlab/wp/wp-content/themes/cure001/single.php on line 7
Four-Layered Assurance Case Description Method Using D-Case | KeioSDM System Design Methodology Laboratory

OUR
PROJECT

Four-Layered Assurance Case Description Method Using D-Case

Nobuyuki Kobayashi, Aki Nakamoto, Maki Kawase,
Fiona Sussan, Makoto Ioki, Seiko Shirasaka
D-Caseアプローチを使用して保証ケースの階層構造の複数レイヤーを接続する詳細な4層の保証ケース記述方法を示し、その有効性を評価した。
International Journal of Japan Association for Management Systems, Vol.10, Issue 1,
pp. 87-93 2018年10月
学術論文等, 共著