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 |