Analyse des structures symboliques manipulées dans les langages de spécification : proposition et évaluation de stratégies adaptées au contrôle de la qualité : application au langage LDS

par Farid Ammar-Boudjelal

Thèse de doctorat en Informatique

Sous la direction de Jean-Yves Lafaye et de Georges Louis.

Soutenue en 1999

à La Rochelle .


  • Résumé

    Nous cherchons à apporter une aide à la spécification des systèmes modulaires. Nous fournissons un contexte théorique utilisant la théorie des graphes, la modélisation probabiliste et la géométrie euclidienne pour fonder nos propositions. Celles-ci sont de trois ordres : - réflexion sur ce qu'est la qualité globale de la spécification d'un système modulaire. Ces réflexions conduisent à la définition d'un indice quantifiant le niveau de qualité. - proposition d'outils graphiques représentant à la fois un modèle de structure et un modèle de communication. Ces outils se prêtent à intégration dans des environnements de spécification. - définition d'algorithmes efficaces permettant de suggérer et d'évaluer des transformations visant à améliorer la qualité de la spécification étudiée. L’ensemble est illustré par un exemple spécifiant en LDS un Benchmark de la spécification formelle.

  • Titre traduit

    Analysis of the symbolic structures appearing in specification languages : specification quality control strategy and their evaluation : application to SDL


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (127 f.)
  • Annexes : Bibliogr. p. 104-116

Où se trouve cette thèse ?

  • Bibliothèque : Université de La Rochelle. Bibliothèque universitaire.
  • Disponible pour le PEB
  • Cote : THE-S 1999 AMM
  • Bibliothèque : Université de La Rochelle. Bibliothèque universitaire.
  • Disponible pour le PEB
  • Cote : THE-S 1999 AMM
  • Bibliothèque : Université de La Rochelle. Bibliothèque universitaire.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.