| 279 | -- | 280 | Herbert H. Thompson, Chia-Chu Chiang, Ibrahim K. El-Far, Stefan Gruner, Markus Montigel, James A. Whittaker. Special Issue on Software Engineering: Applications, Practices and Tools from the ACM Symposium on Applied Computing 2003 |
| 281 | -- | 286 | Issa Traoré, Demissie B. Aredo, Hong Ye. An integrated framework for formal development of open distributed systems |
| 287 | -- | 292 | Egon Börger, Alessandra Cavarra, Elvinia Riccobene. On formalizing UML state machines using ASM |
| 293 | -- | 300 | Jing Dong. Adding pattern related information in structural and behavioral diagrams |
| 301 | -- | 307 | Ana Cristina Vieira de Melo, Bruno M. Moutinho. On the composition of Java frameworks control-flows |
| 309 | -- | 314 | Alessandra Cavarra, Charles Crichton, Jim Davies. A method for the automatic generation of test suites from object models |
| 315 | -- | 322 | Amit M. Paradkar. Towards model-based generation of self-priming and self-checking conformance tests for interactive system |
| 323 | -- | 328 | Elaine J. Weyuker. How to judge testing progress |
| 329 | -- | 335 | Yuen-Tak Yu, Sebastian P. Ng, Pak-Lok Poon, Tsong Yueh Chen. On the testing methods used by beginning software testers |
| 337 | -- | 342 | Boby George, Laurie A. Williams. A structured experiment of test-driven development |
| 343 | -- | 349 | Brian Fenicle, Tim Wahls. A secure methodology for interchangeable services |
| 351 | -- | 357 | Yasushi Shinjo, Toshiyuki Kubo, Calton Pu. Efficient mediators with closures for handling dynamic interfaces in an imperative language |