Yuanfang Cai

My broad research area is software engineering, and my specific interests include formal software design modeling and analysis, software economics, software evolution and modularity. The questions that motivated my research include: how to design software that enable hundreds of developers to work collaboratively, concurrently, and independently from each other? how to make sure that modules in a software system can evolve independently? Does it worthwhile to refactor? How to detect software quality problems that incur tremendous maintenance cost but are not detectible using traditional V&V methods, such as extra dependencies and technical debts?