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 / Farid Ammar-Boudjelal ; sous la direction de Jean-Yves Lafaye

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Logiciels -- Qualité -- Contrôle

Spécifications -- Méthodologie

Langages de description de matériel informatique

Lafaye, Jean-Yves (Directeur de thèse / thesis advisor)

Louis, Georges (19..-....) (Directeur de thèse / thesis advisor)

La Rochelle Université (1993-....) (Organisme de soutenance / degree-grantor)

Collection : Lille-thèses / Atelier de reproduction des thèses / Lille : Atelier national de reproduction des thèses , 1983-2017

Relation : 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 / Farid Ammar-Boudjelal ; sous la direction de Jean-Yves Lafaye / [S.l.] : [s.n.] , 1999

Résumé / Abstract : 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