


default search action
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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.