• 103 Citations
1978 …2011

Research output per year

If you made any changes in Pure these will be visible here soon.

Student theses

(Data) refinement calculus met stack voorbeelden

Author: Andree, H., 31 Oct 1990

Supervisor: Kaldewaij, A. (Supervisor 1) & van der Woude, J. (Supervisor 2)

Student thesis: Master

Cylindrische componenten calculus

Author: van Gool, L., 30 Apr 2000

Supervisor: van der Woude, J. (Supervisor 1)

Student thesis: Master

File

ExSpecT op het spoor

Author: Verhagen, G., 31 Jul 1997

Supervisor: Somers, L. (Supervisor 1) & van der Woude, J. (Supervisor 2)

Student thesis: Master

Quality-oriented exploration techniques for component-based architectures

Author: Zhang, J., 10 Sep 2007

Supervisor: Chaudron, M. (Supervisor 1), Voorhoeve, M. (Supervisor 2), Klomp, A. (External person) (Supervisor 2) & van der Woude, J. (Supervisor 2)

Student thesis: Master

File

Traces : two approaches

Author: van Vianen, H., 31 Dec 1988

Supervisor: Rem, M. (Supervisor 1) & van der Woude, J. (Supervisor 2)

Student thesis: Master

Translation of process modeling languages

Author: Vijverberg, W., 31 Aug 2006

Supervisor: van Hee, K. (Supervisor 1) & van der Woude, J. (Supervisor 2)

Student thesis: Master

File

Vergelijking tussen verzamelingstheoretische rekenmodellen

Author: Pijnappel, W., 30 Apr 1994

Supervisor: Backhouse, R. (Supervisor 1) & van der Woude, J. (Supervisor 2)

Student thesis: Master