水口大知 (Daichi Mizuguchi) - マイポータル

基本情報

外部リンク: http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=D50666533

モデル検査技術適用事例研究会の報告

第5回クリティカルソフトウェアワークショップ（WOCS） 189-191 2005年
組み込みソフトウェア開発におけるモデル検査の適用事例

算譜科学研究速報 AIST-PS-05-001 1-15 2005年
組み込みソフトウェア開発におけるモデル検査の適用事例

水口大知, 渡邊宏, Daichi Mizuguchi, Hiroshi Watanabe, 産業技術総合研究所システム検証研究センター, 産業技術総合研究所システム検証研究センター, National Institute of Advanced Industrial Science and Technology (AIST) Research Center for Verification and Semantics (CVS), National Institute of Advanced Industrial Science and Technology (AIST) Research Center for Verification and Semantics (CVS)

コンピュータソフトウェア 22(1) 77-90 2005年
組み込みソフトウェア開発におけるモデル検査の適用に向けて

クリティカルソフトウェアワークショップ2004予稿集 57-60 2004年
組込みソフトウェア開発のイン-デザインモデル検査－設計工程における仕様書のモデル検査の提案－

産業技術総合研究所算譜科学グループ速報 2004年