Isabelle Dony

According to our database¹, Isabelle Dony authored at least 3 papers between 2004 and 2007.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2007

Design, implementation and evaluation of MPVS : a tool to support the teaching of a programming method.

[BibT_eX]

[DOI]

PhD thesis, 2007

2006

A tool for helping teach a programming method.

[BibT_eX]

[DOI]

Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006

2004

A Program Verification System Based on Oz.

[BibT_eX]

[DOI]

Proceedings of the Multiparadigm Programming in Mozart/Oz, Second International Conference, 2004