Isabel Michiels

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2006
Program Testing Using High-Level Property-Driven Models.
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.
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.
Proceedings of the Object-Oriented Technology: ECOOP 2004 Workshop Reader, 2004

2003
Tools and Environments for Learning Object-Oriented Concepts.
Proceedings of the Object-Oriented Technology: ECOOP 2003 Workshop Reader, 2003

2002
Supporting software development through declaratively codified programming patterns.
Expert Syst. Appl., 2002

Tools and Environments for Learning Object-Oriented Concepts.
Proceedings of the Object-Oriented Technology, 2002

2001
Supporting Software Development through Declaratively Codified Programming.
Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2001), 2001

2000
Tools and Environments for Understanding Object-Oriented Concepts.
Proceedings of the Object-Oriented Technology, 2000


  Loading...