Stratégies non monotones dans le développement de programmes - Université de Lorraine Accéder directement au contenu
Thèse Année : 1992

Non-monotonic strategies in program development

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

Patricia Wolff
  • Fonction : Auteur
  • PersonId : 790430
  • IdRef : 191804231

Résumé

Not available
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é
Fichier non déposé

Dates et versions

tel-01753496 , version 1 (29-03-2018)

Identifiants

  • HAL Id : tel-01753496 , version 1

Accès intranet

Citer

Patricia Wolff. Stratégies non monotones dans le développement de programmes. Autre. Université Henri Poincaré - Nancy 1, 1992. Français. ⟨NNT : 1992NAN10376⟩. ⟨tel-01753496⟩
18 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More