Derivation systematique de programmes ada comportant des traitements d'exception a partir des psecifications algebriques de type de donnees

Systematic derivation of ada programs with exception handling based on algebraic specifications

• Auteur / Autrice : Francisca Ordaz-Losavio
• Direction : Michel Bidoit
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1991
• Etablissement(s) : Paris 11

Résumé

Ce travail presente une methodologie de construction de programmes basee sur la decomposition de types abstraits de donnees, specifies algebriquement; celle-ci utilise en particulier le traitement d'exceptions comme technique de programmation. Les programmes ecrits en ada, sont developpes dans le cadre de la construction assistee de programmes. Differentes strategies (schemas de programmes) guident le processus de construction. Dans des travaux anterieurs, le concept de schema de decomposition, appele dans le cadre actuel schema concret de decomposition, etait adapte au langage de programmation cible et limite a un type de donnee particulier. Nous presentons ici une generalisation du schema concret de decomposition en introduisant la notion de schema abstrait de decomposition. Nous decrivons tous les objets aux differents stades de developpement: les specifications algebriques des types abstraits de donnees, les schemas concrets de decomposition associes, les paquetages ada implementant les types abstraits. Les programmes ada illustrant les differentes strategies utilisees, construits en suivant la methode proposee, sont egalement presentes. Un environnement de developpement de programmes supportant la methodologie, le systeme m-apex, a ete realise. Nous presentons un scenario d'un exemple de developpement d'un programme dans cet environnement. Tous les programmes ada ont ete testes