VDM: Une Méthode Rigoureuse Pour le Développement du Logiciel

by Cliff B. Jones, C.A.R. Hoare (Preface)

software methodologies
VDM: a rigorous method for software development

Cliff B. JONES
Preface by C.A.R. HOARE

Presentation of the VDM method according to a particular and systematic approach for software development. Numerous exercises of varying levels complete the presentation and allow you to write and reason on small formal specifications in VDM and to understand the most important ones.
💿💿💿💿💿💿💿💿💿💿💿💿💿💿💿💿💿💿💿💿💿💿💿💿💿💿💿
méthodologies du logiciel
VDM: une méthode rigoureuse pour le développement du logiciel

Cliff B. JONES
Préface de C.A.R. HOARE

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.

304 pages, Paperback

First published February 1, 1980

Reviews

[Graeme Lockley · Rating 5 out of 5]

I have had this book on my shelf for many years. I got stuck into it whilst at home and couldn’t believe how wonderful it is. Clarity is brilliant. My only surprise is why it isn’t more well know and then why it isn’t referenced more.