著書・論文紹介
著書紹介
D-Case入門 ～ディペンダビリティ・ケースを書いてみよう！～
松野裕、高井利憲、山本修一郎
発行所 株式会社ダイテックホールディング
（公開しました。）
実践D-Case
松野裕、山本修一郎
公開しました。
CMCで変わる組織コミュニケーション 企業SNSの実践から学ぶ
山本 修一郎
エヌティティ出版 2010年4月 ISBN:4757102844
次世代プロジェクトリーダーのためのすりあわせの技術
山本 修一郎
ダイヤモンド社 2009年3月 ISBN:4478007993
ソフトウェアエンジニアリング最前線〈2007〉
山本 修一郎
近代科学社 2007年9月 ISBN:4764903415
ゴール指向による!!システム要求管理技法
山本 修一郎
ソフトリサーチセンター 2007年5月 ISBN:4883732428
要求を可視化するための要求定義・要求仕様書の作り方
山本 修一郎
ソフトリサーチセンター 2006年3月 ISBN:4883732223
論文紹介
Hajime Fujita, Yutaka Matsuno, Toshihiro Hanawa, Mitsuhisa Sato, Shinpei Kato, and Yutaka
Ishikawa. DS-Bench toolset: Tools for dependability benchmarking with simulation and assurance.
In Proc. IEEE DSN 2012, 2012. 8pages.
Yutaka Matsuno, Jin Nakazawa, Makoto Takeyama, Midori Sugaya, and Yutaka Ishikawa. Toward
a language for communication among stakeholders. In Proc. of the 16th IEEE Pacific Rim
International Symposium on Dependable Computing (PRDC’10), pages 93–100, 2010.
Yutaka Matsuno and Kenji Taguchi. Parameterised argument structure for GSN patterns. In Proc.
IEEE 11th International Conference on Quality Software (QSIC 2011), pages 96–101, 2011.
Yutaka Matsuno, Hiroki Takamura, and Yutaka Ishikawa. A dependability case editor with pattern
library. In Procs. IEEE 12th International Symposium on High-Assurance Systems Engineering (HASE), pages 170–171, 2010.
Yutaka Matsuno and Shuichiro Yamamoto. Consensus building and in-operation assurance for
service dependability. In Proc. of CD-ARES, LNCS 7465, pages 639–653. Springer, 2012.
Yutaka Matsuno and Shuichiro Yamamoto. Toward dynamic assurance cases. In Proc. JCKBSE
2012, pages 154–160. IOS Press, 2012.
Yutaka Matsuno and Shuichiro Yamamoto. A new method for writing assurance cases. Interna-
tional Journal of Secure Software Engineering (IJSSE), Special Issue on Cybersecurity Scientific
Validation, January 2013. Accepted for Publication.
Kohei Tanaka, Yutaka Matsuno, Yoshihiro Nakabo, Seiko Shirasaka, and Shinichi Nakasuka.
Toward strategic development of hodoyoshi microsatellite using assurance cases. In Proc. of
International Astronautical Federation (IAC2012), 2012.
Shuichiro Yamamoto and Yutaka Matsuno. A review method based on a matrix interpretation of
GSN. In Proc. JCKBSE 2012, pages 36–42. IOS Press, 2012.
伊東敦、松野裕. ET ロボコンを対象としたドメインからのD-Case による保証議論の構築. In
ソフトウエアシンポジウム2012 予稿集, 2012.
中澤仁、松野裕、徳田英幸. D-Case を用いたユビキタス・センサ・ネットワーク管理ツー
ル. 電子情報通信学会論文誌（和文B）ユビキタス・センサネットワークを支えるシステム開
発論文特集, J95-B(11), 11 2012.