Veuillez choisir le dossier dans lequel vous souhaitez ajouter ce contenu :
Filtrer les résultats
Colloque
L'étude de la tolérance aux fautes dans les programmes nous a permis de trouver les conditions de consistance d'un état courant du programme en cours d'exécution relativement à sa spécification. Parmi les méthodes de recouvrement avant de programmer, l'approche dite préventive se caractérise par une plus grande simplicité. Testée sur des petits programmes, la méthode préventive a fourni des résultats satisfaisants aussi bien au niveau de la fiabilité que de l'efficacité. L'objectif de cette étude est de proposer une méthode de transformation automatique d'une version initiale d'un logiciel en une version cible plus fiable dans le sens où celle-ci va …
