Centrum Wiskunde & Informatica

Specification-based test generation with TGV Tech Report

J.R. Calamé (Jens)

January 2005
Space mapping and defect correction Article

Computational Methods in Applied Mathematics, 5(2), 107-136.

D. Echeverria (David) and P.W. Hemker (Piet)

January 2005
Two-level multigrid analysis for the convection-diffusion equation discretized by a discontinuous Galerkin method Article

Numerical Linear Algebra with Applications, 563-584.

M.H. van Raalte (Marc) and P.W. Hemker (Piet)

January 2005
A systematic aspect-oriented refactoring and testing strategy, and its application to JHotDraw. Tech Report

A. van Deursen (Arie), A.M. Marin (Marius) and L.M.F. Moonen (Leon)

January 2005
Zero, Sucessor and Equality in BDDs Article

Annals of Pure and Applied Logic, 101-123.

B. Badban (Bahareh) and J.C. van de Pol (Jaco)

January 2005
A BDD-representation for the logic of equality and uninterpreted functions (a full version with proofs). Tech Report

J.C. van de Pol (Jaco) and O. Tveretina

January 2005
History of the software industry: the challenge Tech Report

G. Alberts (Gerard), A. van den Bogaard, M. Campbell-Kelly and F. Veraart

January 2005
From syntactic- towards semantic-driven document transformations Book Chapter

J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

January 2005

Previous

Next