Cours complet couvrant tout le processus allant de la spécification abstraite d'un problème jusqu'à sa programmation concrète, en proposant des méthodes et outils éprouvés. Des exercices complètent la présentation.