Exposé de la méthode VDM selon une approche particulière et systématique en vue du développement logiciel. De nombreux exercices de niveau varié complètent l’exposé et permettent d’écrire et de raisonner sur de petites spécifications formelles en VDM et d’en comprendre les plus importantes