Journal: Information \& Software Technology

Volume 46, Issue 5

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