 | 2006 |
|---|
| 8 |       | 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: 202-211 |
| 7 |  | Isabel Michiels,
Coen De Roover,
Johan Brichau,
Elisa Gonzalez Boix,
Theo D'Hondt:
Program Testing Using High-Level Property-Driven Models.
SEKE 2006: 489-494 |
| 2004 |
|---|
| 6 | | 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: 36-48 |
| 2003 |
|---|
| 5 | | Isabel Michiels,
Jürgen Börstler,
Kim B. Bruce,
Alejandro Fernández:
Tools and Environments for Learning Object-Oriented Concepts.
ECOOP Workshops 2003: 119-129 |
| 2002 |
|---|
| 4 | | Isabel Michiels,
Jürgen Börstler,
Kim B. Bruce:
Tools and Environments for Learning Object-Oriented Concepts.
ECOOP Workshops 2002: 30-43 |
| 3 | | Kim Mens,
Isabel Michiels,
Roel Wuyts:
Supporting software development through declaratively codified programming patterns.
Expert Syst. Appl. 23(4): 405-413 (2002) |
| 2001 |
|---|
| 2 | | Kim Mens,
Isabel Michiels,
Roel Wuyts:
Supporting Software Development through Declaratively Codified Programming.
SEKE 2001: 236-243 |
| 2000 |
|---|
| 1 | | Isabel Michiels,
Alejandro Fernández,
Jürgen Börstler,
Maximo Prieto:
Tools and Environments for Understanding Object-Oriented Concepts.
ECOOP Workshops 2000: 65-77 |
