Journal: Science of Computer Programming

Volume 69, Issue 1-3

1 -- 2Mark G. J. van den Brand. Guest editor s introduction: Experimental Software and Toolkits (EST)
3 -- 13Nicholas A. Kraft, Brian A. Malloy, James F. Power. A tool chain for reverse engineering C++ applications
14 -- 26Torbjörn Ekman, Görel Hedin. The JastAdd system - modular extensible compiler construction
27 -- 34Martin Gogolla, Fabian Büttner, Mark Richters. USE: A UML-based specification environment for validating UML and OCL
35 -- 45Michael 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
46 -- 55Cristóvão Oliveira, Michel Wermelinger. The CommUnity Workbench
56 -- 67Xianfeng Li, Liang Yun, Tulika Mitra, Abhik Roychoudhury. Chronos: A timing analyzer for embedded software
68 -- 75Belé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
76 -- 85Adrian Johnstone, Elizabeth Scott. Proofs and pedagogy; science and systems: The grammar tool box