- 2020 - 2023 A Quality-Driven Software Architecture Design Method for IoT Systems
- 2019 - 2022 Description method and formal verification method with section behavior model based on software architecture
- 2016 - 2019 An Architecture Centric Software Development Environment for Cyber Physical Systems
- 2012 - 2015 A product line construction method based on separation of concerns on cloud software
- 2010 - 2012 Studies on Software Analysis using Probabilistic Language Models
- 2009 - 2011 プロダクトラインソフトウェア工学における要求とアーキテクチャとの関連付け
- 2006 - 2007 Software Development Environment for Embedded Systems based on Aspect-Oriented Architecture
- A Study on Aspect-Oriented Software Architecture Style
Show all