Show simple document record

dc.contributor.advisorFrappier, Marcfr
dc.contributor.authorDiab, Hassanfr
dc.date.accessioned2014-05-16T15:26:54Z
dc.date.available2014-05-16T15:26:54Z
dc.date.created1999fr
dc.date.issued1999fr
dc.identifier.isbn0612568962fr
dc.identifier.urihttp://savoirs.usherbrooke.ca/handle/11143/4423
dc.description.abstractUn des écueils pour l'acceptation des méthodes formelles dans l'industrie est l'absence d'un langage formel de spécification permettant d'exprimer et de vérifier de manière optimale tous les aspects d'un système informatique. En effet, différents langages sont proposés pour exprimer les spécifications relatives aux structures de données manipulées, au contrôle des différentes tâches à effectuer, aux contraintes temps réels, etc. Pour cela, l'emploi d'une méthode formelle inappropriée au domaine de l'application peut ajouter des difficultés notationnelles qui ne font souvent qu'obscurcir le problème. Il s'agit donc de choisir la méthode appropriée au domaine de l'application à développer, et aussi de choisir la manière de l'appliquer dans un cadre et une méthode de travail donnés. Une approche pour l'évaluation des méthodes formelles est proposée dans ce mémoire afin d'aider le développeur à choisir la méthode appropriée au domaine de l'application. Cette approche n'examine pas la qualité théorique de méthodes, mais plutôt leurs qualités pratiques concernant les notations et les outils, en les appliquant à un système de la facturation de commandes. Les deux étapes principales de cette approche sont (1) la définition d'une liste de critères pour l'évaluation de méthodes formelles; (2) l'évaluation de l'applicabilité des méthodes formelles au problème choisi, en se basant sur ces critères."--Résumé abrégé par UMI.fr
dc.language.isofrefr
dc.publisherUniversité de Sherbrookefr
dc.rights© Hassan Diabfr
dc.titleÉvaluation de méthodes formelles de spécificationfr
dc.typeMémoirefr
tme.degree.disciplineInformatiquefr
tme.degree.grantorFaculté des sciencesfr
tme.degree.levelMaîtrisefr
tme.degree.nameM. Sc.fr


Files in this document

Thumbnail

This document appears in the following Collection(s)

Show simple document record