| 235 | -- | 257 | Panagiotis Katsaros. A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach |
| 258 | -- | 269 | Michiel Koning, Chang-ai Sun, Marco Sinnema, Paris Avgeriou. VxBPEL: Supporting variability for Web services in BPEL |
| 270 | -- | 283 | Filippo Ricca, Marco Torchiano, Massimiliano Di Penta, Mariano Ceccato, Paolo Tonella. Using acceptance tests as a support for clarifying requirements: A series of experiments |
| 284 | -- | 292 | Ping Sun, Changjun Jiang. Analysis of workflow dynamic changes based on Petri net |
| 293 | -- | 305 | Alf Inge Wang, Erik Arisholm. The effect of task order on the maintainability of object-oriented software |
| 306 | -- | 324 | Amparo Navasa MartÃnez, Miguel Ãngel Pérez Toledano, Juan Manuel Murillo. An ADL dealing with aspects at software architecture stage |
| 325 | -- | 336 | Costas Vassilakis, Giorgos Lepouras, Akrivi Katifori. A heuristics-based approach to reverse engineering of electronic services |
| 337 | -- | 350 | Paolo Guarda, Nicola Zannone. Towards the development of privacy-aware systems |
| 351 | -- | 361 | Ho-Won Jung, Dennis Goldenson. Evaluating the relationship between process improvement and schedule deviation in software maintenance |
| 362 | -- | 374 | Abdelghani Benharref, Rachida Dssouli, Mohamed Adel Serhani, Roch H. Glitho. Efficient traces collection mechanisms for passive testing of Web Services |
| 375 | -- | 384 | Ching-Pao Chang, Chih-Ping Chu, Yu-Fang Yeh. Integrating in-process software defect prediction with association mining to discover defect pattern |
| 385 | -- | 404 | Wes Masri, Andy Podgurski. Algorithms and tool support for dynamic information flow analysis |
| 405 | -- | 417 | Gyun Woo, Heung Seok Chae, Jian Feng Cui, Jeong-Hoon Ji. Revising cohesion measures by considering the impact of write interactions between class members |
| 418 | -- | 432 | Monalisa Sarma, Rajib Mall. Automatic generation of test specifications for coverage of system state transitions |
| 433 | -- | 447 | Massimo Colosimo, Andrea De Lucia, Giuseppe Scanniello, Genoveffa Tortora. Evaluating legacy system migration technologies through empirical studies |
| 448 | -- | 459 | Gisèle Douta, Haydar Talib, Oscar Nierstrasz, Frank Langlotz. CompAS: A new approach to commonality and variability analysis with applications in computer assisted orthopaedic surgery |
| 460 | -- | 477 | Lihua Ran, Curtis E. Dyreson, Anneliese Amschler Andrews, Renée C. Bryce, Christopher J. Mallery. Building test cases and oracles to automate the testing of web database applications |
| 478 | -- | 496 | Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose. Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models |
| 497 | -- | 511 | Ilir Gashi, Peter T. Popov, Vladimir Stankovic. Uncertainty explicit assessment of off-the-shelf software: A Bayesian approach |
| 512 | -- | 527 | Lionel C. Briand, Yvan Labiche, Tao Yue. Automated traceability analysis for UML model refinements |
| 528 | -- | 545 | Damjan Vavpotic, Marko Bajec. An approach for concurrent evaluation of technical and social aspects of software development methodologies |
| 546 | -- | 553 | Hui Liu, Hee Beng Kuan Tan. Covering code behavior on input validation in functional testing |