Science of Computer Programming, Volume 60

Volume 60, Number 1, March 2006

• Mark Burgess:
  Probabilistic anomaly detection in distributed computer networks. 1-26
  
• George A. Papadopoulos, Aristos Stavrou, Odysseas Papapetrou:
  An implementation framework for Software Architectures based on the coordination paradigm. 27-67
  
• So Young Sohn, Ji Soo Lee:
  Cost of ownership model for a CRM system. 68-81
  
• Hidetaka Kondoh, Kokichi Futatsugi:
  To use or not to use the goto statement: Programming styles viewed from Hoare Logic. 82-116
  

Volume 60, Number 2, April 2006

• Francoise Balmas, Kostas Kontogiannis:
  Introduction to the special issue on software analysis, evolution and reengineering. 117-120
  
• David A. Umphress, T. Dean Hendrix, James H. Cross II, Saeed Maghsoodloo:
  Software visualizations for improving and measuring the comprehensibility of source code. 121-133
  
• Sudhakiran V. Mudiam, Gerald C. Gannod, Timothy E. Lindquist:
  Synthesizing and integrating legacy components as services using adapters. 134-148
  
• Richard C. Holt, Andy Schürr, Susan Elliott Sim, Andreas Winter:
  GXL: A graph-based standard exchange format for reengineering. 149-170
  
• Rainer Koschke, Gerardo Canfora, Jörg Czeranski:
  Revisiting the Delta IC approach to component recovery. 171-188
  
• David Ung, Cristina Cifuentes:
  Dynamic binary translation using run-time feedbacks. 189-204
  
• Arie van Deursen, Leon Moonen:
  Documenting software systems using types. 205-220
  

Volume 60, Number 3, May 2006

• Michel Charpentier:
  Composing invariants. 221-243
  
• Ward Douglas Maurer:
  A theory of computer instructions. 244-273
  
• Dariusz Biernacki, Olivier Danvy, Chung-chieh Shan:
  On the static and dynamic extents of delimited continuations. 274-297