2025年4月6日 / 最終更新日時 : 2025年4月6日 admin 派生開発カンファレンス2025 【基調講演】上流から下流まで生成AIが変革するシステム開発～生成AIがシステム開発の全工程に与える影響とその革新性～ イベント名 派生開発カンファレンス2025 時間 15:45～16:45 講演者 有限会社デザイナーズデン 代表取締役社長 酒匂 寛 概要 講演者の著書『上流から下流まで生成AIが変革するシステム開発』を基に、生成AIが […]
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の様なフォーマルな手法ではなく、日本語を混在させたセミフォーマルな […]
