Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience 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
a service of 
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.
last updated on 2024-07-16 19:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
