Non-monotonic strategies in program development - Archive ouverte HAL Access content directly
Theses Year : 1992

Non-monotonic strategies in program development

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

(1)
1
Patricia Wolff
  • Function : Author
  • PersonId : 790430
  • IdRef : 191804231

Abstract

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é
Not file

Dates and versions

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

Identifiers

  • HAL Id : tel-01753496 , version 1

Intranet access

Cite

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⟩
17 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More