| 2002 | Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. | Hung Ledang, Jeanine Souquires |
| 2002 | Issues in the construction of new measures within the discipline of Open Systems. | John Leaney, David Rowe, Tim O'Neill |
| 2002 | Finite-State Modeling in Software Design: Some Fundamental Techniques. | Sukhamay Kundu |
| 2002 | Integrating Use-Case Analysis and Task Analysis for Interactive Systems. | Soon-Kyeong Kim, David A. Carrington |
| 2002 | Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML. | Tetsuro Katayama |
| 2002 | Embedding XML Processing Toolkit on General Purpose Programming Language. | Tetsuo Kamina, Tetsuo Tamai |
| 2002 | Theme-Based Literate Programming. | Andreas Kacofegitis, Neville Churcher |
| 2002 | An Automated Refactoring Approach to Design Pattern-Based Program Transformations in Java Programs. | Sang-Uk Jeon, Joon-Sang Lee, Doo-Hwan Bae |
| 2002 | Has Twenty-five Years of Empirical Software Engineering Made a Difference? | D. Ross Jeffery, Louise Scott |
| 2002 | Lessons Learned in Framework-Based Software Process Improvement. | Pankaj Jalote |
| 2002 | Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems. | Natalia Ioustinova, Natalia Sidorova, Martin Steffen |
| 2002 | Formal Synthesis and Code Generation of Real-Time Embedded Software using Time-Extended Quasi-Static Scheduling. | Pao-Ann Hsiung, Trong-Yen Lee, Feng-Shi Su |
| 2002 | The Real World Software Process. | James M. Hogan, Glenn Smith, Richard N. Thomas |
| 2002 | Computer-aided programming using formally specified design templates. | David Hemer |
| 2002 | Towards a Taxonomy for Guiding Multimedia Application Development. | Anne Hannington, Karl Reed |
| 2002 | A communication workload estimation model based on relationships among shared works for software development projects. | Noriko Hanakawa, Ken-ichi Matsumoto, Koji Torii |
| 2002 | Formal Verification of mu-Charts. | Doug Goldson |
| 2002 | Contextual Matching of Software Library Components. | Colin J. Fidge |
| 2002 | Performance of SOAP in Web Service Environment Compared to CORBA. | Robert Elfwing, Ulf Paulsson, Lars Lundberg |
| 2002 | Results on Formal Stepwise Design in Z. | Moshe Deutsch, Martin C. Henson, Steve Reeves |
| 2002 | A Quality Doctrine for Software: Do It Right the First Time. | Stephen E. Cross |
| 2002 | Automatic Filling in a Form by an Agent for Web Applications. | Takeshi Chusho, Katsuya Fujiwara, Keiji Minamitani |
| 2002 | An Approach to Software Architecture Evaluation with the 4+1 View Model of Architecture. | Heeseok Choi, Keunhyuk Yeom |
| 2002 | A Predictive Performance Model to Evaluate the Contention Cost in Application Servers. | Shiping Chen, Ian Gorton |
| 2002 | The Java Metrics Reporter- An Extensible Tool for 00 Software Analysis. | Jaspar Cahill, James M. Hogan, Richard N. Thomas |