Isabel Michiels

According to our database, Isabel Michiels authored at least 8 papers between 2000 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Program Testing Using High-Level Property-Driven Models.

Isabel Michiels, Coen De Roover, Johan Brichau, Elisa Gonzalez Boix, Theo D'Hondt

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

An Approach to High-Level Behavioral Program Documentation Allowing Lightweight Verification.

Coen De Roover, Isabel Michiels, Kim Gybels, Kris Gybels, Theo D'Hondt

Proceedings of the 14th International Conference on Program Comprehension (ICPC 2006), 2006

2004

Eighth Workshop on Pedagogies and Tools for the Teaching and Learning of Object Oriented Concepts.

Jürgen Börstler, Isabel Michiels, Annita Fjuk

Proceedings of the Object-Oriented Technology: ECOOP 2004 Workshop Reader, 2004

2003

Tools and Environments for Learning Object-Oriented Concepts.

Isabel Michiels, Jürgen Börstler, Kim B. Bruce, Alejandro Fernández

Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003

2002

Supporting software development through declaratively codified programming patterns.

Kim Mens, Isabel Michiels, Roel Wuyts

Expert Syst. Appl., 2002

Tools and Environments for Learning Object-Oriented Concepts.

Isabel Michiels, Jürgen Börstler, Kim B. Bruce

Proceedings of the Object-Oriented Technology, 2002

2001

Supporting Software Development through Declaratively Codified Programming.

Kim Mens, Isabel Michiels, Roel Wuyts

Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001

2000

Tools and Environments for Understanding Object-Oriented Concepts.

Isabel Michiels, Alejandro Fernández, Jürgen Börstler, Maximo Prieto

Proceedings of the Object-Oriented Technology, 2000