Centrum Wiskunde & Informatica

TIDE: (a) generic debugging framework Book Chapter

M.G.J. van den Brand (Mark), B. Cornelissen, P.A. Olivier (Pieter) and J.J. Vinju (Jurgen)

January 2005
A state space distribution policy based on abstract interpretation In Proceedings

S.-M. Orzan (Simona-Mihaela), J.C. van de Pol (Jaco) and M.V. Espada

January 2005
Continuous release and upgrade of component-based software In Proceedings

T. van der Storm (Tijs)

January 2005
AJHotDraw. SourceForge. Aspect-oriented re-implementation of JHotDraw Manual

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

January 2005
FINT. Eclipse plugin offering aspect-mining capabilities by means of fan-in analysis Manual

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

January 2005
Sisyphus. Continuous integration system Manual

T. van der Storm (Tijs)

January 2005
Inzien en bewijzen - Docentenhandleiding Book

D.J.N. van Eijck (Jan) and A. Visser

January 2005
CCS with Hennessy's merge has no finite-equational axiomatization Article

Chicago Journal of Theoretical Computer Science, 330(3), 377-405.

L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)

January 2005

Previous

Next