Vienna Development Method

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écur…