■モデル検査の導入支援

50件以上のシステムにモデル検査を適用した実績とノウハウで、御社のモデル検査技術の導入をサポートします。
以下のメニューから御社の状況に応じてご選択ください。

■モデル検査初級セミナー（まずは試してみたい方）
■モデル検査技術者の育成（本格的に導入したい方）
■設計モデル検査ツールの開発（設計検査を自動化したい方）

---

■モデル検査業務の請負（第三者検証）

モデル化／検査式の作成／モデル検査の実行／反例の解析等のモデル検査に関する業務をお引き受けします。業務完了時に、モデル検査の適用プロセスに沿った「モデル検査報告書」を納品します。


■テスト業務の請負（第三者検証）
アプリケーションのテスト業務をお引き受けします。モデル検査業務やツールの開発・検証で培った不具合発見のノウハウを活かして、開発側、ユーザ側の両方の視点からテストします。
お問い合わせ よりご連絡ください。

---

---