Specification algebrique et realisation d'un modeleur interactif d'objets geometrique volumiques

par Yves Bertrand

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-François Dufourd.

Soutenue en 1992

à Strasbourg 1 .

    mots clés mots clés


  • Résumé

    L'objectif de la these est d'ameliorer la definition, la manipulation constructive et l'implantation des modeles d'objets geometriques par des specifications algebriques, et reciproquement de determiner ce qui dans ces dernieres est le mieux adapte a l'apprehension du large domaine de la modelisation geometrique interactive, et de proposer de nouvelles approches le cas echeant. A cette fin, nous avons specifie algebriquement et implante un logiciel de modelisation d'objets geometriques (ou modeleur), basees sur les cartes generalisees de dimension 3. Nous proposons, pour specifier le noyau du logiciel, une utilisation simultanee des sortes ordonnees, d'invariants definissant ces sortes, et de preconditions. Nous montrons comment les specifications algebriques peuvent etre utilisees dans les divers aspects d'un modeleur, tant pour les operations internes que pour l'interface homme-machine. Nous introduisons egalement des raffinements successifs de specifications, integrant de plus en plus de consideration d'efficacite, et se rapprochant ainsi de la forme de l'implantation imperative finale


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 133 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université de Strasbourg. Service commun de la documentation. Bibliothèque Blaise Pascal.
  • Disponible pour le PEB
  • Cote : Th.Strbg.Sc.1992;1370
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.