著者情報
株式会社フォーマルテック代表取締役 トップエスイー非常勤講師。2002年より産業界におけるモデル検査の実用化の研究を行っており、モデル検査ツールの開発も行った。2011年にモデル検査を用いた第三者検証と導入コンサルティングを行う同社を設立。
※プロフィールは、執筆時点、または直近の記事の寄稿時点での内容です
執筆記事
-
システムの網羅的なテストができるモデル検査 実課題を扱ったモデル検査のコンテスト「MoCCon」を振り返る
社会人エンジニア向けの教育プログラム「トップエスイー」での講義や制作結果などからエンジニアの皆さんに対して有用な情報をお届けするコーナーです。...
2
1件中1～1件を表示
