Abstract FR:

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