La programmation typologique

par Serge-André Mahé

Thèse de doctorat en Informatique

Sous la direction de Claude Boksenbaum.

Soutenue en 1992

à Montpellier 2 .

mots clés

• Génie logiciel -- Thèses et écrits académiques
• Ordinateurs -- Programmation -- Thèses et écrits académiques
• Programmation orientée objets (informatique) -- Thèses et écrits académiques
• Logiciels -- Thèses et écrits académiques
• Conception assistée par ordinateur -- Logiciels -- Thèses et écrits académiques
• Simulation par ordinateur -- Thèses et écrits académiques
• Classification automatique -- Thèses et écrits académiques
• Enseignement assisté par ordinateur -- Thèses et écrits académiques

Résumé

La programmation typologique est une methode de conception a objets. Les specifications des classes d'objets sont formelles et executables. Ce sont des types abstraits qui appartiennent a des unites de conception, les bases conceptuelles ou des operations sont predefinies. Chaque type abstrait est une structure dynamique abstraite definie par typologie d'operations. Cette modelisation conceptuelle favorise la reutilisation d'algorithmes generiques dans la phase de conception. La programmation typologique a ete experimentee a l'universite de montpellier ii pour developper et utiliser un outil d'assistance a la programmation destinee a familiariser des etudiants a la reutilisation de specification formelles et de composants logiciels

Titre traduit

Typological programming

Pas de résumé disponible.