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
• Ordinateurs -- Programmation
• Programmation orientée objets (informatique)
• Logiciels
• Conception assistée par ordinateur -- Logiciels
• Simulation par ordinateur
• Classification automatique
• Enseignement assisté par ordinateur

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.