木下修司 (Shuji Kinoshita) - 論文

アジャイル開発とDevOpsに関する国際標準化の動向

木下修司

東京都立産業技術大学院大学研究紀要 (15) 113-116 2022年1月

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

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

東京都立産業技術大学院大学紀要 (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月査読有り

266

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

木下修司

学位論文博士（理学・神奈川大学） 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年査読有り