Definition d'une methodologie pour le langage de specification formelle vdm

par JEROME LOUBERSAC

Thèse de doctorat en Sciences appliquées

Sous la direction de Geneviève Jomier.

Soutenue en 1994

à Paris 9 .

    mots clés mots clés


  • Résumé

    La generalisation de l'utilisation de methodes formelles telles que vdm se heurte aujourd'hui principalement a trois obstacles: leur carence en methodologie, l'hermetisme de leurs notations, et la resistance des utilisateurs potentiels face a un changement aussi radical de methode. L'objectif de ce travail etait de contribuer a lever ces trois obstacles. Pour cela, nous avons defini une approche originale de specification basee sur des diagrammes possedant une semantique formelle et pouvant etre traduits en vdm, et nous avons propose des techniques pour le raffinement des specifications vdm. Ceci permettait de repondre aux besoins methodologiques tout en eliminant l'hermetisme du langage. Puis nous avons defini une utilisation nouvelle de vdm dans le domaine de la refonte (re-engineering), permettant d'approcher une audience plus receptive et de rendre vdm plus convaincante. (vdm est l'acronyme de vienna development method)


  • 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 REF.

Où se trouve cette thèse ?

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