Title :
Design, implementation and evaluation of MPVS : a tool to support the teaching of a programming method
Author :
Delsarte Philippe استاد مشاور , Committee Member استاد مشاور , de Marneffe Pierre-Arnoul استاد راهنما
University :
UCL )Les Bibliotheques de L,Universite Catholique de Louvain(
Major :
FSA 3 - Doctorat en sciences appliqu-es
Keyword :
Programming errors , formal specification , Program verification , Program construction , Programming course , Invariant
