Stratégies non monotones dans le développement de programmes
Auteur / Autrice : | Patricia Wolff |
Direction : | Jean-Pierre Finance |
Type : | Thèse de doctorat |
Discipline(s) : | Sciences appliquées |
Date : | Soutenance en 1992 |
Etablissement(s) : | Nancy 1 |
Partenaire(s) de recherche : | Autre partenaire : Université Henri Poincaré Nancy 1. Faculté des sciences et techniques |
Mots clés
Résumé
Maitriser l'activité de programmation est aujourd'hui un objectif central de la recherche en informatique. La programmation par règles de transformation fait partie des approches possibles pour atteindre cet objectif. Dans cette thèse, nous nous intéressons à un raisonnement (stratégie) particulier dans cette approche. Ce raisonnement, dit non monotone, est caractérisé par une modification sémantique du problème à résoudre. Cette modification effectuée dans le but de simplifier la recherche d'un algorithme est réalisée à l'aide de transformations appelées des modificateurs. Quatre types de modificateurs sont définis permettant à partir d'une spécification donnée SPO de construire une spécification sp1 équivalente-a, plus-générale-que, plus-spécialisée-que ou analogue-a SPO. Dans le but d'apporter une aide lors de la mise en œuvre de raisonnements non monotones, nous définissons des schémas de développement interactifs. L'utilisation de tels schémas permet au développeur d'être guidé pendant la construction de programmes: soit certaines étapes du développement sont (partiellement ou complètement) automatisées, soit des heuristiques sont proposées. Chaque schéma propose est décrit formellement et nous indiquons sous quelles conditions le programme obtenu est correct par rapport à la spécification de départ. Notre approche est également expérimentale: un système d'aide au développement de programmes permettant la mise en œuvre des schémas non monotones définis a été développé