Science of Computer Programming, Volume 71

Volume 71, Number 1, March 2008

• Antonio Navarro, Alfredo Fernández-Valmayor, Baltasar Fernández-Manjón, José Luis Sierra:
  Characterizing navigation maps for web applications with the NMM approach. 1-16
  Electronic Edition (link) BibTeX
• R. J. Peters, Chris Verhoef:
  Quantifying the yield of risk-bearing IT-portfolios. 17-56
  Electronic Edition (link) BibTeX
• Wim H. Hesselink:
  A challenge for atomicity verification. 57-72
  Electronic Edition (link) BibTeX
• Joseph Barjis:
  The importance of business process modeling in software systems design. 73-87
  Electronic Edition (link) BibTeX

Volume 71, Number 2, April 2008

• Cormac Flanagan, Stephen N. Freund:
  Atomizer: A dynamic atomicity checker for multithreaded programs. 89-109
  Electronic Edition (link) BibTeX
• Lucia Acciai, Michele Boreale:
  XPi: A typed process calculus for XML messaging. 110-143
  Electronic Edition (link) BibTeX
• Marco Crasso, Alejandro Zunino, Marcelo Campo:
  Easy web service discovery: A query-by-example approach. 144-164
  Electronic Edition (link) BibTeX

Volume 71, Number 3, May 2008

• Johan Fabry, Éric Tanter, Theo D'Hondt:
  KALA: Kernel aspect language for advanced transactions. 165-180
  Electronic Edition (link) BibTeX
• Massimo Tivoli, Paola Inverardi:
  Failure-free coordinators synthesis for component-based architectures. 181-212
  Electronic Edition (link) BibTeX
• Tian Zhao, Jason Baker, James Hunt, James Noble, Jan Vitek:
  Implicit ownership types for memory management. 213-241
  Electronic Edition (link) BibTeX
• Myung-Hoon Chung:
  Science Code.Net: Object-oriented programming for science. 242-247
  Electronic Edition (link) BibTeX