• 103 Citaties
1978 …2011

Research output per year

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Scriptie

(Data) refinement calculus met stack voorbeelden

Auteur: Andree, H., 31 okt 1990

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

Scriptie/masterproef: Master

Cylindrische componenten calculus

Auteur: van Gool, L., 30 apr 2000

Begeleider: van der Woude, J. (Afstudeerdocent 1)

Scriptie/masterproef: Master

Bestand

ExSpecT op het spoor

Auteur: Verhagen, G., 31 jul 1997

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

Scriptie/masterproef: Master

Quality-oriented exploration techniques for component-based architectures

Auteur: Zhang, J., 10 sep 2007

Begeleider: Chaudron, M. (Afstudeerdocent 1), Voorhoeve, M. (Afstudeerdocent 2), Klomp, A. (Externe persoon) (Afstudeerdocent 2) & van der Woude, J. (Afstudeerdocent 2)

Scriptie/masterproef: Master

Bestand

Traces : two approaches

Auteur: van Vianen, H., 31 dec 1988

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

Scriptie/masterproef: Master

Translation of process modeling languages

Auteur: Vijverberg, W., 31 aug 2006

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

Scriptie/masterproef: Master

Bestand

Vergelijking tussen verzamelingstheoretische rekenmodellen

Auteur: Pijnappel, W., 30 apr 1994

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

Scriptie/masterproef: Master