システムの網羅的なテストができるモデル検査
実課題を扱ったモデル検査のコンテスト「MoCCon」を振り返る
トップエスイーからのアウトカム ～ ソフトウェア工学の現場から 第4回
ダウンロード サンプルファイル (1.7 KB)
会員登録無料すると、続きをお読みいただけます
-
- Page 1
-
- Page 3
この記事は参考になりましたか？
- トップエスイーからのアウトカム ～ ソフトウェア工学の現場から連載記事一覧
- この記事の著者
-
早水 公二（株式会社フォーマルテック）（ハヤミズ コウジ）
株式会社フォーマルテック代表取締役 トップエスイー非常勤講師。2002年より産業界におけるモデル検査の実用化の研究を行っており、モデル検査ツールの開発も行った。2011年にモデル検査を用いた第三者検証と導入コンサルティングを行う同社を設立。
※プロフィールは、執筆時点、または直近の記事の寄稿時点での内容です
