- 2020 - 2024 不確かな環境下においても時間制約を考慮可能な自己適応メカニズムとその統合開発環境
- 2020 - 2023 ステートフル深層学習システムに対する総合的解析と修復技術の確立
- 2019 - 2022 深層学習システムの自動テスト技術の確立
- 2018 - 2021 自動デバッグを可能にする群衆知エコシステムの確立
- 2015 - 2018 未解読楽譜研究のための情報検索システムの構築
- 2014 - 2017 不確かさを包容するモデル駆動開発機構に関する研究
- 2011 - 2016 研究領域「ポストペタスケール高性能計算に資するシステムソフトウェア技術の創出」 研究課題名「ポストペタスケール時代のスーパーコンピューティング向けソフトウェア開発環境」
- 2013 - 2015 滑らかな設計抽象化に関する研究
- 2011 - 2013 未解読楽譜のデータベース化に関する総合的研究
- 2011 - 2013 高信頼ソフトウェアアーキテクチャ構築に関する研究
- 2010 - 2013 ポスト・アスペクト指向時代の階層的分割と横断的分割を統合するモジュール化の研究
- 2010 - 2011 安全ソフトウェア設計に関する調査研究, 経済産業省平成22 年度産業技術研究開発委託費, 中小企業システム基盤開発環境整備事業(システム開発の高度化に関する調査研究)
- 2011 - 2011 形式検証技術に基づいたディペンダブルソフトウェアアーキテクチャ構築に関する研究
- 2010 - 2010 高信頼ソフトウェアアーキテクチャ構築法に関する研究
- 2007 - 2009 検証可能なモデルコンパイラに関する研究
- 2006 - 2009 生産性と安全性向上のためのアスペクト指向ソフトウェア開発に関する研究
- 2004 - 2006 拡張可能なドメイン専用言語に関する研究
- 2001 - 2005 信頼性の高いコンポーネント技術の研究
全件表示