著書・論文紹介

著書紹介


D-Case 構文定義書
  • 著者: 松野裕、高井利憲
  • 公開しました。

D-Case入門 ~ディペンダビリティ・ケースを書いてみよう!~
  • 著者: 松野裕、高井利憲、山本修一郎
  • 発行所: 株式会社ダイテックホールディング
  • 公開しました。

実践D-Case 
  • 松野裕、山本修一郎
  • 公開しました。

  • 著者:山本 修一郎
  • エヌティティ出版 2010年4月 ISBN:4757102844

  • 著者: 山本 修一郎
  • ダイヤモンド社 2009年3月 ISBN:4478007993

  • 著者: 山本 修一郎
  • 近代科学社 2007年9月 ISBN:4764903415

  • 著者: 山本 修一郎
  • ソフトリサーチセンター 2007年5月 ISBN:4883732428

  • 著者: 山本 修一郎
  • ソフトリサーチセンター 2006年3月 ISBN:4883732223

論文紹介

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. Yutaka Matsuno and Shuichiro Yamamoto. Toward dynamic assurance cases. In Proc. JCKBSE 2012, pages 154–160. IOS Press, 2012.
  7. 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.
  8. 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.
  9. 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.
  10. 伊東敦、松野裕. ET ロボコンを対象としたドメインからのD-Case による保証議論の構築. In ソフトウエアシンポジウム2012 予稿集, 2012.
  11. 中澤仁、松野裕、徳田英幸. D-Case を用いたユビキタス・センサ・ネットワーク管理ツー ル. 電子情報通信学会論文誌(和文B)ユビキタス・センサネットワークを支えるシステム開 発論文特集, J95-B(11), 11 2012.