2017年度
国際会議
IV&V Case: Empirical Study of Software Independent Verification and
Validation Based on Safety Case
| 著者： | K. Kakimoto, K. Sasaki, H. Umeda and Y. Ueda |
|---|---|
| 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 32-35, 2017 |
国内会議、一般講演など
GSNを応用したナレッジマネジメントシステムの提案
| 講演者： | 梅田浩貴 |
|---|---|
| 第13回D-Case研究会, 2017 |
GSNを活用した技術者能力計測手法の提案とその後
| 著者： | 梅田浩貴 |
|---|---|
| ソフトウェア品質シンポジウム2017 |
出版
STPA Handbook 日本語版 ver.0.2
| 著者： | N. G. Leveson, J. P. Thomas, (Translators into Japanese: S. Shirasaka, M. Katahira, N. Ishihama, Y. Ueda, N. Okubo, A. Noumi, K. Kakimoto) |
|---|
特許
ツリー型モデルを用いたチェックリストの生成方法（TARM）
| 出願番号： | 特願2017-206127 |
|---|---|
| （ツリー型チェックリスト生成装置、ツリー型チェックリスト解析装置、ツリー型チェックリスト生成システム、ツリー型チェックリスト生成方法、 ツリー型チェックリスト解析方法、およびプログラム） |
モデルを用いた発明及び請求項の分析方法（JC-CLD）
| 出願番号： | 特願2018-012721 |
|---|---|
| （分析支援装置及びプログラム） |