Publications
International Conference Papers
- M. van Dooren, and E. Steegmans, A higher abstraction level using first-class inheritance relations, Proceedings of the 21st European Conference on Object-Oriented Programming (Ernst, E., ed.), LNCS, 2007, accepted (PDF)
- M. van Dooren, and E. Steegmans, Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations, Proceedings of the 20th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications (Gabriel, R., ed.), 2005, accepted (PDF)(PRESENTATION)
Extended Abstract on International Conference
- M. van Dooren, and E. Steegmans, Language constructs for improving reusability in object-oriented software, Companion of the 20th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications, OOPSLA, San Diego, October 16-20, 2005 (PDF)(POSTER)
National Journal Papers
- J. Boydens, M. van Dooren, and E. Steegmans, XP: eXtreme Programming, het softwareontwikkelproces XP in .Net-projecten, .NET Magazine for developers, 2005, accepted.
National Conference Papers
- E. Steegmans, P. Bekaert, F. Devos, G. Delanote, N. Smeets, M. van Dooren, and J. Boydens, Black & White Testing: Bridging Black Box Testing and White Box Testing, Software Testing: Beheers Optimaal de Risico's van IT in uw Business (Sterck, P., ed.), pp. 1-12, 2004
Technical Reports
- M. van Dooren, and E. Steegmans, Combining the robustness of checked exceptions with the flexibility of unchecked exceptions using anchored exception declarations, Department of Computer Science, K.U.Leuven, Report CW 407, Leuven, Belgium, March, 2005 (PDF)
- K. Mertens, N. Smeets, M. van Dooren, J. Dockx, and E. Steegmans, A New Semantics for JML Signals Clauses, Department of Computer Science, K.U.Leuven, Report CW 343, Leuven, Belgium, June, 2002 (PDF)
- J. Dockx, M. van Dooren, and E. Steegmans, Jutil.org, Department of Computer Science, K.U.Leuven, Report CW 342, Leuven, Belgium, June, 2002 (PDF)
- J. Dockx, M. van Dooren, and E. Steegmans, Dijkstra's Dream: Internal Iterators as Software Theorems, Department of Computer Science, K.U.Leuven, Report CW 340, Leuven, Belgium, June, 2002 (PDF)
- J. Dockx, M. van Dooren, and E. Steegmans, Different implementations in Java of a nested loop and their proofs, Department of Computer Science, K.U.Leuven, Report CW 324, Leuven, Belgium, December, 2001 (PDF)
