【本セミナーで得られる価値】​

• 航空機開発になぜSCADEが評価されているのかを知ることができる
• 厳格なセマンティクスを持つモデリング環境がソフト開発効率を飛躍的に高めることをより深く理解できる
• 厳格で難しいと考えられている形式言語がSCADEでは簡単に使えるようになっていることを体験できる
• 難しい操作や設定を必要とせずに、形式検証やその応用機能が簡単に使えることを体験できる
• SCADEが提案するモデルベースV&Vの効率の良さを知ることができる

【こんな方におすすめ】

• 高い安全性が求められるセーフティークリティカルシステムに搭載されるソフトウェアの設計者
• ソフトウェアV&V担当者
• いまお使いのモデルベース開発ツールに限界を感じているソフトウェア設計者

【セミナーのポイント】

• シンプルなサンプルモデルを使用したわかりやすい内容
• SCADEの主要機能を網羅的に体験できる
• 形式言語がすぐに実践に投入できる完成された技術であることがわかる
• SCADEが実現しているプロセスの無駄のなさを理解できる

開催日時
　2025年7月4日（金）10:30-18:30

開催形式
　会場開催

会　　場
　アンシス・ジャパン株式会社　日土地西新宿ビル19F　セミナールームB
〒160-0023 東京都新宿区西新宿6-10-1 日土地西新宿ビル19F Google Mapsでアクセスを確認する▶

申込期限
　2025年7月2日(水)