Abstract FR:

La généralisation de l'utilisation de méthodes formelles telles que VDM se heurte aujourd'hui principalement à trois obstacles: leur carence en méthodologie, l'hermétisme de leurs notations, et la résistance des utilisateurs potentiels face à un changement aussi radical de méthode. L'objectif de ce travail était de contribuer à lever ces trois obstacles. Pour cela, nous avons défini une approche originale de spécification basée sur des diagrammes possédant une sémantique formelle et pouvant être traduits en VDM, et nous avons proposé des techniques pour le raffinement des spécifications VDM. Ceci permettait de répondre aux besoins méthodologiques tout en éliminant l'hermétisme du langage. Puis nous avons défini une utilisation nouvelle de VDM dans le domaine de la refonte (re-engineering), permettant d'approcher une audience plus réceptive et de rendre VDM plus convaincante. (VDM est l'acronyme de Vienna Development Method)