Isabel Michiels

Publication Activity (10 Years)

Years Active: 2000-2006
Publications (10 Years): 0

Publications

Coen De Roover, Isabel Michiels, Kim Gybels, Kris Gybels, Theo D'Hondt
An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification. ICPC (2006)
Isabel Michiels, Coen De Roover, Johan Brichau, Elisa Gonzalez Boix, Theo D'Hondt
Program Testing Using High-Level Property-Driven Models. SEKE (2006)
Jürgen Börstler, Isabel Michiels, Annita Fjuk
Eighth Workshop on Pedagogies and Tools for the Teaching and Learning of Object Oriented Concepts. ECOOP Workshops (2004)
Isabel Michiels, Jürgen Börstler, Kim B. Bruce, Alejandro Fernández
Tools and Environments for Learning Object-Oriented Concepts. ECOOP Workshops (2003)
Kim Mens, Isabel Michiels, Roel Wuyts
Supporting software development through declaratively codified programming patterns. Expert Syst. Appl. 23 (4) (2002)
Isabel Michiels, Jürgen Börstler, Kim B. Bruce
Tools and Environments for Learning Object-Oriented Concepts. ECOOP Workshops (2002)
Kim Mens, Isabel Michiels, Roel Wuyts
Supporting Software Development through Declaratively Codified Programming. SEKE (2001)
Isabel Michiels, Alejandro Fernández, Jürgen Börstler, Maximo Prieto
Tools and Environments for Understanding Object-Oriented Concepts. ECOOP Workshops (2000)