|
自然言語で設計された製品のソフトウェアをリバースエンジニアリングにより基本、詳細レベルで形式手法記述言語（VDM++）に変換し、仕様の曖昧な部分や論理的な矛盾を洗い出しレポートするサービスです。
形式手法による開発は、自然言語による曖昧さが排除され、数学的な検証を行える為、高品質・高信頼のソフトウェア開発において大変注目されています。
本サービスは、形式手法による効率的なシステム開発をボトムアップで全体に波及させるアプローチに効果的です。
 サービス活用の提案
- 機能安全であることの証明
- 潜在リスクの排除
- 形式手法開発への移行
サービス価格
|
