La programmation typologique
par Serge-André Mahé
Thèse de doctorat en Informatique
Sous la direction de Claude Boksenbaum.
Soutenue en 1992
à Montpellier 2 .
- 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
mots clés
-
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.
