木下修司 (Shuji Kinoshita) - 論文 - researchmap

論文

8

表示件数

Internet of Documents

木下修司

東京都立産業技術大学院大学研究紀要 (16) 13-15 2023年1月
アジャイル開発と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月査読有り
402

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

木下修司

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

マイポータルへ