本セミナーでは、モデルベースシステムズエンジニアリング（Model-Based Systems)の実践において、システムの分析、設計、検証を正しく、効率よく実施して設計品質を向上させるための手法として、SysML(Systems Modeling Language)でモデルを構築し、形式検証（モデル検査）を適用することで厳密な振舞い検証を実現するプロセスを紹介します。 　併せて、上記プロセスを実践するためのツール環境をデモを交えて紹介し、不具合のないシステム開発を実現する方法を紹介します。 【詳細・お申込み】https://kke.lmsg.jp/v2/seminar/11672/jPmf9