A value-oriented theory of modularity in designCai, Yuanfang; Sullivan, Kevin J. · ACM SIGSOFT Software Engineering Notes · 2005

Modular aspect-oriented design with XPIsSullivan, Kevin; Griswold, William G.; Rajan, Hridesh; Song, Yuanyuan; Cai, Yuanfang; Shonle, Macneil; Tewari, Nishit · ACM Transactions on Software Engineering and Methodology · 2010

Information hiding interfaces for aspect-oriented designSullivan, Kevin; Griswold, William G.; Song, Yuanyuan; Cai, Yuanfang; Shonle, Macneil; Tewari, Nishit; Rajan, Hridesh · ACM SIGSOFT Software Engineering Notes · 2005

The structure and value of modularity in software designSullivan, Kevin J.; Griswold, William G.; Cai, Yuanfang; Hallen, Ben · ACM SIGSOFT Software Engineering Notes · 2001

[ACM Press the 13th international conference - Leipzig, Germany (2008.05.10-2008.05.18)] Proceedings of the 13th international conference on Software engineering - ICSE '08 - Automatic modularity conformance checkingHuynh, Sunny; Cai, Yuanfang; Song, Yuanyuan; Sullivan, Kevin · 2008

[ACM Press the 20th IEEE/ACM international Conference - Long Beach, CA, USA (2005.11.07-2005.11.11)] Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05 - SimonCai, Yuanfang; Sullivan, Kevin J. · 2005

[IEEE 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Tokyo (2006.09.18-2006.09.22)] 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Modularity Analysis of Logical Design ModelsCai, Yuanfang; Sullivan, Kevin · 2006

Business Process Model MergingLa Rosa, Marcello; Dumas, Marlon; Uba, Reina; Dijkman, Remco · ACM Transactions on Software Engineering and Methodology · 2013

An algebra of design patternsZhu, Hong; Bayley, Ian · ACM Transactions on Software Engineering and Methodology · 2013

Symbolic Message Sequence ChartsRoychoudhury, Abhik; Goel, Ankit; Sengupta, Bikram · ACM Transactions on Software Engineering and Methodology · 2012

Model driven securityBasin, David; Doser, Jürgen; Lodderstedt, Torsten · ACM Transactions on Software Engineering and Methodology · 2006

Developing multiagent systemsZambonelli, Franco; Jennings, Nicholas R.; Wooldridge, Michael · ACM Transactions on Software Engineering and Methodology · 2003

Directed Incremental Symbolic ExecutionYang, Guowei; Person, Suzette; Rungta, Neha; Khurshid, Sarfraz · ACM Transactions on Software Engineering and Methodology · 2014

ADAMGanesan, Dharmalingam; Lindvall, Mikael · ACM Transactions on Software Engineering and Methodology · 2014

Topology analysis of software dependenciesRobillard, Martin P. · ACM Transactions on Software Engineering and Methodology · 2008