| 2003 | Specification matching of state-based modular components. | David Hemer |
| 2003 | A Two-Level Hierarchy Software Architecture Framework for the Manufacturing Industry. | Whey Seen Heah, Mohamed K. Omar |
| 2003 | Ensuring Compatible Interactions within Component-based Software Systems. | Jun Han, Ksze Kae Ker |
| 2003 | The Software Concordance: Using a Uniform Document Model to Integrate Program Analysis and Hypermedia. | Satish Chandra Gupta, Tien Nhut Nguyen, Ethan V. Munson |
| 2003 | Extending the theory of Owicki and Gries with asynchronous message passing. | Doug Goldson |
| 2003 | Controllability Mechanism for Object-Oriented Software Testing. | Anita Goel, Suresh Chand Gupta, Siri Krishan Wasan |
| 2003 | Matching Software Practitioner Needs to Researcher Activities. | Martin S. Feather, Tim Menzies, Judith R. Connelly |
| 2003 | Modular refinement in novel schema calculi. | Moshe Deutsch, Martin C. Henson, Besnik Kajtazi |
| 2003 | An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics. | Moshe Deutsch, Martin C. Henson |
| 2003 | An Extensible Framework for Collaborative Software Engineering. | Carl Cook, Neville Churcher |
| 2003 | Awareness Support in Group-based Software Engineering Education System. | Kunihiko Chiken, Atsuo Hazeyama |
| 2003 | Specifying Roles within Agent-Oriented Software Engineering. | Kevin Chan, Leon Sterling |
| 2003 | Is There a Happy Marriage between Software Engineering and Knowledge Engineering? | Shi-Kuo Chang |
| 2003 | XSLT Template Design for Generating the Web Presentation Layer. | Jung-Hwa Chae, Cheol-Jung Yoo, Yong-Sung Kim, Ok-Bae Chang |
| 2003 | A Ontology-based Process Modelling for XP. | Paolo Ceravolo, Ernesto Damiani, Michele Marchesi, Sandro Pinna, Francesco Zavatarelli |
| 2003 | Implementing Angelic Nondeterminism. | Orieta Celiku, Joakim von Wright |
| 2003 | Academia and industry meet: Some experiences of formal methods in practice. | Guy H. Broadfoot, Philippa J. Broadfoot |
| 2003 | Testing Criteria for Data Flow Software. | Nguyen Thanh Binh, Michel Delaunay, Chantal Robach |
| 2003 | Reasoning about Pointers in Refinement Calculus. | Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa |
| 2003 | Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. | Vangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng |
| 2002 | A Study of the Impact of Requirements Volatility on Software Project Performance. | Didar Zowghi, Nur Nurmuliani |
| 2002 | Quality Driven Transformation Compositions for Object Oriented Migration. | Ying Zou, Kostas Kontogiannis |
| 2002 | An Agent-Based Framework for Petroleum Information Services from Distributed Heterogeneous Data Resources. | Chengqi Zhang, Chunsheng Li, Zili Zhang |
| 2002 | Tool Interfacing Mechanisms for Programming-for-the-Large and Programming-for-the-Small. | Yun Yang |
| 2002 | Refining Exceptions Using King and Morgan's exit Construct. | Geoffrey Watson |