


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














