Stratégies non monotones dans le développement de programmes

par Patricia Wolff

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Pierre Finance.

Soutenue en 1992

à Nancy 1 .


  • 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é

  • Titre traduit

    Non-monotonic strategies in program development


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 81 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation et de l'Edition - BU Sciences et Techniques.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.