水口大知

ミズグチダイチ | Mizuguchi Daichi

所属機関・部署：
ホームページURL (1件)： http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=D50666533
MISC (5件)：

モデル検査技術適用事例研究会の報告. 第5回クリティカルソフトウェアワークショップ(WOCS). 2005. 189-191
組み込みソフトウェア開発におけるモデル検査の適用事例. 算譜科学研究速報. 2005. AIST-PS-05-001. 1-15
水口大知, 渡邊宏, 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). 組み込みソフトウェア開発におけるモデル検査の適用事例. コンピュータソフトウェア. 2005. 22. 1. 77-90
組み込みソフトウェア開発におけるモデル検査の適用に向けて. クリティカルソフトウェアワークショップ2004予稿集. 2004. 57-60
組込みソフトウェア開発のイン-デザインモデル検査 -設計工程における仕様書のモデル検査の提案-. 産業技術総合研究所算譜科学グループ速報. 2004

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

水口 大知