木下修司 (Shuji Kinoshita) - 論文

情報系専門職大学院における対面・遠隔ハイブリッド型授業システムの開発

小山裕司, 大﨑理乃, 木下修司, 柴田淳司

東京都立産業技術大学院大学紀要 (14) 193 - 200 2021年1月

A modelling approach for system life cycles assurance

Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama

7th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2019), Turku (Finland) 2019年9月査読有り

127

システムアシュランス議論のためのオントロジー構築法

木下修司

学位論文博士（理学・神奈川大学） 2018年3月査読有り

オープンシステム・ディペンダビリティのための形式アシュランスケース・フレームワーク(FFO)

奥野康二, 木下修司, 木下佳樹, 武山誠, 中原早生

IPA SEC journal 13(2) 44 - 51 2017年9月査読有り

A thought experiment on evolution of assurance cases: —From a logical aspect

Shuji Kinoshita, Yoshiki Kinoshita

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10489 17 - 26 2017年査読有り

The 6W1H model as a basis for systems assurance argument

Shuji Kinoshita, Yoshiki Kinoshita

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 9923 63 - 74 2016年査読有り