Science of Computer Programming, Volume 69

Volume 69, Numbers 1-3, December 2007

• M. G. J. van den Brand:
  Guest editor's introduction: Experimental Software and Toolkits (EST). 1-2
  
• Nicholas A. Kraft, Brian A. Malloy, James F. Power:
  A tool chain for reverse engineering C++ applications. 3-13
  
• Torbjörn Ekman, Görel Hedin:
  The JastAdd system - modular extensible compiler construction. 14-26
  
• Martin Gogolla, Fabian Büttner, Mark Richters:
  USE: A UML-based specification environment for validating UML and OCL. 27-34
  
• Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao:
  The Daikon system for dynamic detection of likely invariants. 35-45
  
• Cristóvão Oliveira, Michel Wermelinger:
  The CommUnity Workbench. 46-55
  
• Xianfeng Li, Liang Yun, Tulika Mitra, Abhik Roychoudhury:
  Chronos: A timing analyzer for embedded software. 56-67
  
• Belén Díaz-Agudo, Pedro A. González-Calero, Juan A. Recio-García, Antonio A. Sánchez-Ruiz-Granados:
  Building CBR systems with jcolibri. 68-75
  
• Adrian Johnstone, Elizabeth Scott:
  Proofs and pedagogy; science and systems: The grammar tool box. 76-85