Contributions à l'intégration de langages pour la spécification formelle et la vérification de systèmes complexes

par Gwen Salaün

Thèse de doctorat en Informatique

Sous la direction de Mourad-Chabane Oussalah.

Soutenue en 2003

à Nantes .


  • Résumé

    La spécification est une étape primordiale au cours du développement de systèmes dans un cadre rigoureux. Lorsqu'elle est formelle, elle confère de bonnes qualités au système et rend possible l'obtention de systèmes corrects. Ainsi, les spécifications formelles suivent l'analyse des exigences informelles du cahier des charges et sont la base du développement. Un problème est que tous les aspects des systèmes complexes ne peuvent ni être spécifiés ni être vérifiés avec un seul formalisme. Nous proposons donc plusieurs approches qui visent à spécifier des systèmes en se basant sur des techniques de spécification intégrée. Nous nous focalisons particulièrement sur l'intégration de langages dédiés aux aspects statiques (les données et leurs opérations) et aux aspects dynamiques (la séquentialité des événements, la concurrence, le parallélisme, etc). . .


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 194 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 133-149

Où se trouve cette thèse ?

  • Bibliothèque : Université de Nantes. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 03 NANT 2023
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.