システム間連携に関する形式的仕様の記述および検証手法の開発
KAKEN 科学研究費助成事業データベース で見る| 研究課題番号 | KAKENHI-PROJECT-22K11976 |
|---|---|
| 研究種目 | 基盤研究(C) |
| 研究分野 | |
| 研究機関 | 香川大学 |
| 代表研究者 | 高木 智彦 |
| 研究期間 開始年月日 | 2022/4/1 |
| 研究期間 終了年度 | 2026 |
| 研究ステータス | 交付 (2022/4/1) |
| 配分額（合計） | 2,080,000 (直接経費 :1,600,000、間接経費 :480,000) |
| 配分額（履歴） |
2026年度：390,000 (直接経費 :300,000、間接経費 :90,000) 2025年度：390,000 (直接経費 :300,000、間接経費 :90,000) 2024年度：390,000 (直接経費 :300,000、間接経費 :90,000) 2023年度：390,000 (直接経費 :300,000、間接経費 :90,000) 2022年度：520,000 (直接経費 :400,000、間接経費 :120,000) |
| キーワード | ソフトウェア工学 ソフトウェアテスト |