Browsing by Author "Wupper, H."

Now showing items 1-16 of 16

Deduction using the ProofWeb system
Kaliszyk, C.S. ; Raamsdonk, F. van; Wiedijk, F. ; Wupper, H. ; Hendriks, Maxim; Vrijer, Roel de
2008, External research report
Modelling Embedded Systems by Non-Monotonic Refinement
Mader, A. H.; Marincic, J; Wupper, H.
2008, External research report
Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods
Marincic, J; Mader, A. H.; Wupper, H. ; Wieringa, R.J.
2008, Article in monograph or in proceedings (Scholz, S.-B. (ed.), IWAAPF '08: Non-monotonic modelling from initial requirements : Proceedings of the 3rd international workshop on Applications and advances of problem frames, 10 May 2008, Leipzig, Germany, pp. 67-73)
Paradoxen in de ICT: wat is de beste manier om iets te zeggen?
Wupper, H.
2008, Article / Letter to editor (Tinfon, Tijdschrift voor Informatica Onderwijs, vol. 17, iss. 4, (2008), pp. 96-98)
Paradoxen in de ICT: een programma is een programma is een programma
Wupper, H.
2008, Article / Letter to editor (Tinfon, Tijdschrift voor Informatica Onderwijs, vol. 17, iss. 3, (2008), pp. 59-61)
A Taxonomy of Modelling Decisions for Embedded Systems Verification
Mader, A. H.; Wupper, H. ; Boon, M.; Marincic, J
2008, External research report
De hele opleiding in twee weken?
Wupper, H. ; Barendsen, E.
2007, Article in monograph or in proceedings (NIOC 2007)
The Construction of Verification Models for Embedded Systems
Mader, A. H.; Wupper, H. ; Boon, M.
2007, External research report
Universitair onderwijs - van de hak in de sloot
Wupper, H.
2007, External research report
Wat is werkelijk mis met het wetenschappelijk onderwijs?
Wupper, H.
2007, External research report
Tussen sturing en anarchie
Wupper, H.
2007, Article / Letter to editor (Tinfon, Tijdschrift voor Informatica Onderwijs, vol. 3, iss. 3, (2007), pp. 88-90)
Nieuw ICT-onderwijs volgens een oud ideaal
Wupper, H.
2007, Article / Letter to editor (Tinfon, Tijdschrift voor Informatica Onderwijs, vol. 2, iss. 2, (2007), pp. 44-48)
Paradoxen in de ICT: van mooi ideaal naar lelijke taal
Wupper, H.
2007, Article / Letter to editor (Tinfon, Tijdschrift voor Informatica Onderwijs, vol. 4, iss. 4, (2007), pp. 137-139)
A Taxonomy of Computer Science (revised and extended version)
Wupper, H. ; Mader, A.; Meijer, H.
2007, External research report
Hoe erg is het als studenten maar 20 uur per week studeren?
Wupper, H.
2006, Contribution for newspaper or weekly magazine (NRC, )
Een academische introductie tot de informatica
Barendsen, E. ; Wupper, H.
2005, Article / Letter to editor (Tinfon, Tijdschrift voor Informatica Onderwijs, vol. 14, iss. 1, (2005), pp. 1-12)

Now showing items 1-16 of 16

Search Repository

Advanced Search

Browse

All of Repository

Radboud Repository

Browsing by Author "Wupper, H."

Search Repository

Browse

All of Repository