| 2003 | 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 10-12 December 2003, Chiang Mai, Thailand |
| 2003 | A Domain Analysis Method for Software Product Lines Based on Scenarios, Goals and Features. Minseong Kim, Hwasil Yang, Sooyong Park |
| 2003 | A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines. Wuwei Shen, Kevin J. Compton, James Huggins |
| 2003 | A Ontology-based Process Modelling for XP. Paolo Ceravolo, Ernesto Damiani, Michele Marchesi, Sandro Pinna, Francesco Zavatarelli |
| 2003 | A SCM Workflow Model for CMM Organizations. Pornthep Seawlho, Taratip Suwannasart |
| 2003 | A Two-Level Hierarchy Software Architecture Framework for the Manufacturing Industry. Whey Seen Heah, Mohamed K. Omar |
| 2003 | Academia and industry meet: Some experiences of formal methods in practice. Guy H. Broadfoot, Philippa J. Broadfoot |
| 2003 | An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics. Moshe Deutsch, Martin C. Henson |
| 2003 | An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation. Hiroyuki Ozaki, Shingo Ban, Katsuhiko Gondow, Takuya Katayama |
| 2003 | An Extended Policy Language for Role Resolution in Project-Oriented Workflow. Xiaoguang Zhang, Jian Cao, Shen-sheng Zhang |
| 2003 | An Extensible Framework for Collaborative Software Engineering. Carl Cook, Neville Churcher |
| 2003 | An Extension of the Behavioral Theory of Group Performance in Software Development Technical Reviews. Lesley Pek Wee Land, Bernard Wong, D. Ross Jeffery |
| 2003 | An XVCL Approach to Handling Variants: A KWIC Product Line Example. Hongyu Zhang, Stan Jarzabek |
| 2003 | Application method for process frame-work. Kazutoshi Shimanaka, Junji Koga, Naoki Sugiwaka, Takeshi Sakamoto |
| 2003 | Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. Vangalur S. Alagar, M. Chen, Olga Ormandjieva, Mao Zheng |
| 2003 | Awareness Support in Group-based Software Engineering Education System. Kunihiko Chiken, Atsuo Hazeyama |
| 2003 | Blueprint for Real Progress in Software Engineering. Bertrand Meyer |
| 2003 | COTS Characterization Model in a COTS-Based Development Environment. Sihem Ben Sassi, Lamia Labed Jilani, Henda Hajjami Ben Ghézala |
| 2003 | Case study: Reconnaissance techniques to support feature location using RECON2. Suhaimi Ibrahim, Norbik Bashah Idris, Aziz Deraman |
| 2003 | Challenging Formal Specifications by Mutation: a CSP security example. Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack |
| 2003 | Controllability Mechanism for Object-Oriented Software Testing. Anita Goel, Suresh Chand Gupta, Siri Krishan Wasan |
| 2003 | DRC: A Dependence Relationships Based Cohesion Measure for Classes. Yuming Zhou, Lijie Wen, Jianmin Wang, Yujian Chen, Hongmin Lu, Baowen Xu |
| 2003 | Developing Relational Navigation to Effectively Understand Software. Daniel Jarrott, Anthony MacDonald |
| 2003 | Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec. Siv Hilde Houmb, Jan Jürjens |
| 2003 | Discovering Use Cases from Source Code using the Branch-Reserving Call Graph. Tao Qin, Lu Zhang, Zhiying Zhou, Dan Hao, Jiasu Sun |
| 2003 | Ensuring Compatible Interactions within Component-based Software Systems. Jun Han, Ksze Kae Ker |
| 2003 | Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment. Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, Tohru Kikuno |
| 2003 | Exploring the Relationship between Experience and Group Performance in Software Review. Yuk Kuen Wong, David Wilson |
| 2003 | Extending the theory of Owicki and Gries with asynchronous message passing. Doug Goldson |
| 2003 | Facilitating Reuse of Software Components using Repository Technology. Jihyun Lee, Jin-Sam Kim, Gyu-Sang Shin |
| 2003 | Fault tolerant web service. Deron Liang, Chen-Liang Fang, Chyouhwa Chen, Fengyi Lin |
| 2003 | Formal Verification of Type Flaw Attacks in Security Protocols. Benjamin W. Long |
| 2003 | Generalising the Z Schema Calculus: Database Schemas and Beyond. Andrew P. Martin, Andrew Simpson |
| 2003 | Generating Test Oracle for Role Binding in Multi-Agent Systems. Xin Wang, Qi Yan, Xinjun Mao, Zhi-Chang Qi |
| 2003 | Implementing Angelic Nondeterminism. Orieta Celiku, Joakim von Wright |
| 2003 | Implementing Exception Handling Policies for Workflow Management System. Jinmiao Li, Yun Mai, Greg Butler |
| 2003 | Implementing the PostgreSQL Query Optimizer within the OPT++ Framework. Ju Wang, Jinmiao Li, Greg Butler |
| 2003 | Is There a Happy Marriage between Software Engineering and Knowledge Engineering? Shi-Kuo Chang |
| 2003 | JINI/J2EE Bridge for Large-scale IP Phone Services. Jia Yu, Jan Newmarch, Michael Geisler |
| 2003 | Matching Software Practitioner Needs to Researcher Activities. Martin S. Feather, Tim Menzies, Judith R. Connelly |
| 2003 | Modeling Complex Systems by A Set of Interacting Finite-State Models. Sukhamay Kundu |
| 2003 | Modeling and Enacting Software Processes Using VRPML. Kamal Zuhairi Zamli, Peter A. Lee |
| 2003 | Modular refinement in novel schema calculi. Moshe Deutsch, Martin C. Henson, Besnik Kajtazi |
| 2003 | PAORE: Package Oriented Requirements Elicitation. Junzo Kato, Morio Nagata, Shuichiro Yamamoto, Motoshi Saeki, Haruhiko Kaiya, Hisayuki Horai, Atsushi Ohnishi, Seiichi Komiya, Kenji Watahiki |
| 2003 | Psachno: A Dynamic and Generic Discovery Framework within a Peer-to-Peer Network Model. Nicholas Nicoloudis, Christine Mingins |
| 2003 | Re-documenting, Visualizing and Understanding Software System Using DocLike Viewer. Shahida Sulaiman, Norbik Bashah Idris, Shamsul Sahibuddin, Sarina Sulaiman |
| 2003 | Reasoning about Pointers in Refinement Calculus. Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa |
| 2003 | Regression Test Selection Based on Version Changes of Components. A. S. M. Sajeev, Bugi Wibowo |
| 2003 | Rigorous EBNF-based Definition for a Graphic Modeling Language. Yong Xia, Martin Glinz |
| 2003 | Science of Software Changes. Takuya Katayama |
| 2003 | Security-Critical System Development with Extended Use Cases. Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth Breu |
| 2003 | Selecting Components: a Process for Context-Driven Evaluation. Valerie Maxville, Chiou Peng Lam, Jocelyn Armarego |
| 2003 | Software Engineering Methods for Neural Networks. Anthony Senyard, Edmund Kazmierczak, Leon Sterling |
| 2003 | Specification matching of state-based modular components. David Hemer |
| 2003 | Specifying Roles within Agent-Oriented Software Engineering. Kevin Chan, Leon Sterling |
| 2003 | Testing Criteria for Data Flow Software. Nguyen Thanh Binh, Michel Delaunay, Chantal Robach |
| 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 | Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications. Jason McDonald, Paul A. Strooper, Daniel Hoffman |
| 2003 | Towards a Sound Modular Model Checking of Collaboration-Based Software Designs. Nguyen Truong Thang, Takuya Katayama |
| 2003 | Understanding How the Requirements Are Implemented in Source Code. Wei Zhao, Lu Zhang, Yin Liu, Jing Luo, Jiasu Sun |
| 2003 | Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification. Shaoying Liu |
| 2003 | XSLT Template Design for Generating the Web Presentation Layer. Jung-Hwa Chae, Cheol-Jung Yoo, Yong-Sung Kim, Ok-Bae Chang |