La Vienna Development Method, abrégé par le sigle VDM, est un ensemble d`outils de développement informatique faisant appel à un grand formalisme. - Une variante de la méthode VDM se nomme VDM++. Elle a été appliquée à divers domaines où la fiabilité et la sécurité des applications i...