Volume 19, Number 1, August 2009
Eli Tilevich, Yannis Smaragdakis: J-Orchestra: Enhancing Java programs with distribution capabilities.
Chun Ouyang, Marlon Dumas, Wil M. P. van der Aalst, Arthur H. M. ter Hofstede, Jan Mendling: From business process models to process-oriented software systems.
Volume 19, Number 2, October 2009
Hee Beng Kuan Tan, Yuan Zhao, Hongyu Zhang: Conceptual data model-based software size estimation for information systems.
Nirmit Desai, Amit K. Chopra, Munindar P. Singh: Amoeba: A methodology for modeling and evolving cross-organizational business processes.
Volume 19, Number 3, January 2010
David Notkin: Editorial.
Jon Whittle, Praveen K. Jayaraman: Synthesizing hierarchical state machines from expressive scenario descriptions.
Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye: Partial constraint checking for context consistency in pervasive computing.
Antonio Brogi, Razvan Popescu, Matteo Tanca: Design and implementation of Sator: A web service aggregator.
Volume 19, Number 4, April 2010
Julien Ponge, Boualem Benatallah, Fabio Casati, Farouk Toumani: Analysis and applications of timed service protocols.
Jamie Payton, Christine Julien, Gruia-Catalin Roman, Vasanth Rajamani: Semantic self-assessment of query results in dynamic environments.
Chunqing Chen, Jin Song Dong, Jun Sun, Andrew Martin: A verification system for interval-based specification languages.



