• 99 Citaten
1978 …2011
Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Vingerafdruk Duik in de onderzoeksthema's waar Jaap C.S.P. van der Woude actief is. Deze onderwerplabels komen voort uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

  • 29 Vergelijkbare profielen
Algebra Engineering en materiaalwetenschappen
Information systems Engineering en materiaalwetenschappen
Specification languages Engineering en materiaalwetenschappen
Industry Engineering en materiaalwetenschappen

Onderzoeksoutput 1978 2011

16 Citaties (Scopus)

Ampersand: Applying relation algebra in practice

Michels, G., Joosten, S. J. C., Woude, van der, J. C. S. P. & Joosten, S. M. M., 2011, Relational and Algebraic Methods in Computer Science (12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30–June 3, 2011. Proceedings). Swart, de, H. (redactie). Berlin: Springer, blz. 280-293 (Lecture Notes in Computer Science; vol. 6663)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Algebra
Information systems
Industry
Specifications
3 Citaties (Scopus)

Relational heterogeneity relaxed by subtyping

Woude, van der, J. C. S. P. & Joosten, S. M. M., 2011, Relational and Algebraic Methods in Computer Science (12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30–June 3, 2011. Proceedings). Swart, de, H. (redactie). Berlin: Springer, blz. 347-361 (Lecture Notes in Computer Science; vol. 6663)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Algebra
Specification languages
Mathematical operators
Information systems
Chemical analysis

Inductive sets, the algebraic way

Geldrop - van Eijk, van, H. P. J. & Woude, van der, J. C. S. P., 2004, Eindhoven: Technische Universiteit Eindhoven. 27 blz. (Computer science reports; vol. 0442)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Design based learning in the curriculum of computing science : a skilful struggle

Perrenet, J. C., Aerts, A. T. M. & Woude, van der, J. C. S. P., 2003, Proceedings International Conference on Engineering Education (ICEE 2003, Valencia, Spain, July 22-26, 2003). blz. ...-...

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

curriculum
science
role change
learning
project group

A calculus of Petri net components

Sidorova, N., Voorhoeve, M. & Woude, van der, J. C. S. P., 2001, Modelling of Objects, Components, and Agents (Proceedings MOCA'01, Aarhus, Denmark, August 2001). Moldt, D. (redactie). Aarhus, Denmark: University of Aarhus, blz. 121-132 (DAIMI PB; vol. 553)

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

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