- 2020 - 2023 IoTシステムのための品質主導型ソフトウェアアーキテクチャ設計手法の研究
- 2019 - 2022 アーキテクチャに基づく区間振る舞いモデルを用いた記述法と形式検証法
- 2016 - 2019 サイバーフィジカルシステムのためのアーキテクチャ指向ソフトウェア開発支援環境
- 2012 - 2017 アーキテクチャ指向形式手法に基づく高品質ソフトウェア開発法の提案と実用化
- 2012 - 2015 クラウドソフトウェアのための関心事分離に基づくプロダクトライン構築方式
- 2010 - 2012 確率的言語モデルを用いたソフトウェア解析の研究
- 2009 - 2011 プロダクトラインソフトウェア工学における要求とアーキテクチャとの関連付け
- 2006 - 2007 アスペクト指向アーキテクチャに基づく組込ソフトウェア開発環境の設計と実現
- 2004 - 2006 ソフトウェア開発のモデル化技法とシステム特性干渉解析に関する研究
- 2000 - 2001 形式手法に基づく高品質組込み制御システム開発法の系統化に関する基礎的研究
- ソフトウェア開発における形式手法に関する研究
- Software Development Environments Based on Formal Methods
- Formal Methods on Software Developments
全件表示