Centrum Wiskunde & Informatica

A finite equational base for CCS with left merge and communication merge In Proceedings

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

January 2006
Discovering faults in idiom-based exception handling In Proceedings

M. Bruntink (Magiel), A. van Deursen (Arie) and T. Tourwé (Tom)

January 2006
Aiding in the comprehension of testsuites In Proceedings

B. Cornelissen, A. van Deursen (Arie) and L.M.F. Moonen (Leon)

January 2006
Documenting software systems using types Article

Science of Computer Programming, 205-220.

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

January 2006
On the axiomatizability of priority In Proceedings

L. Aceto (Luca), T. Chen (Taolue), W.J. Fokkink (Wan) and A. Ingólfsdóttir

January 2006
Migrating a domain-specific modeling language to MDA technology In Proceedings

D. Doyle, H. Geers, B. Graaf (Bas) and A. van Deursen (Arie)

January 2006
Migrating supervisory control architectures using model transformations In Proceedings

B. Graaf (Bas), S. Weber (Sven) and A. van Deursen (Arie)

January 2006
Integrated development and maintenance for the release, delivery, deployment, and customization of product software: a case study in mass-market ERP software Article

Journal of Software Maintenance and Evolution, 133-151.

S. Jansen, G.C. Ballintijn (Gerco), S. Brinkkemper and A. van Nieuwland

January 2006

Previous

Next