2014年6月6日 / 最終更新日時 : 2021年6月6日 admin 派生開発カンファレンス2014 【ポスター】派生開発，モジュール化を支援できるモデルベースドテスト(MBT) イベント名 派生開発カンファレンス2014 カテゴリー アドバンスド 時間 12:35～14:25 発表者 富士設備工業株式会社 浅野 義雄 概要 T-VECのMBTは，仕様をモデル化して定理証明すると同時に，テストベ […]
2011年6月17日 / 最終更新日時 : 2021年6月6日 admin 派生開発カンファレンス2011 ユースケースとUSDMにセミフォーマル手法を適用した要求検証 イベント名 派生開発カンファレンス2011 時間 16:20-17:05 発表者 (株)エクスモーション 藤倉 俊幸 概要 要求の検証において、VDMやZの様なフォーマルな手法ではなく、日本語を混在させたセミフォーマルな […]
