Définition d'une méthodologie pour le langage de spécification formelle VDM

par Jérôme Loubersac

Thèse de doctorat en Sciences appliquées

Sous la direction de Geneviève Jomier.

Soutenue en 1994

à Paris 9 .


  • Résumé

    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)

  • Titre traduit

    Definition of a methodology for the formal specification language VDM


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 2 vol., 372 p
  • Annexes : 78 réf

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Dauphine (Paris). Service commun de la documentation.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.