• Français
    • English
  • Français 
    • Français
    • English
  • Login
View Document 
  •   Savoirs UdeS Home
  • Sciences
  • Sciences – Mémoires
  • View Document
  •   Savoirs UdeS Home
  • Sciences
  • Sciences – Mémoires
  • View Document
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of Savoirs UdeSDomains & CollectionsBy Issue DateAuthorsTitlesSubjectsDirectorsThis CollectionBy Issue DateAuthorsTitlesSubjectsDirectors

My Account

Login

Statistics

View Usage Statistics

Évaluation de méthodes formelles de spécification

Thumbnail
View/Open
diab_hassan_MSc_1999.pdf (10.73Mb)
Publication date
1999
Author(s)
Diab, Hassan
Subject
Méthodes formelles (Informatique)
 
Logiciels
 
Spécifications
Show full document record
Abstract
Un 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.
URI
http://savoirs.usherbrooke.ca/handle/11143/4423
Collection
  • Sciences – Mémoires [1779]

DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
 

 


DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback