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

par FRANCISCA LOSAVIO

Thèse de doctorat en Sciences appliquées

Sous la direction de Michel Bidoit.

Soutenue en 1991

à Paris 11 .

    mots clés mots clés


  • 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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 50 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-010469
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.