VDM: UNE METHODE RIGOUREUSE POUR LE DEVELOPMENT DU LOGICIELJONESCet ouvrage expose la méthode et initie à son utilisation, selon une approche particulière et systématique en vue du développement logiciel. Après des rappels de logique formelle, l'auteur envisage la spécification des besoins, la conception et l'implémentation. De nombreux exercices de niveaux variés 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. La maîtrise de VDM facilitera l'accès à d'autres méthodes de spécification masson - page 1 |