Résumé: ON SE CONSACRE D'ABORD A L'ETUDE DE LA NOTION DE TYPE ABSTRAIT DEFINIE DANS UN CERTAIN NOMBRE DE LANGAGES EVOLUES OU ELLE EST UTILISEE COMME OUTIL D'ABSTRACTION ET DE STRUCTURATION DE PROGRAMME. PUIS ON TRAITE DE L'UTILITE DES TYPES ABSTRAITS POUR LES CONCEPTEUR DE SYSTEMES. ON DECRIT ENFIN LE SYSTEME SOC. IL S'AGIT D'UN PROTOTYPE REALISE POUR VALIDER LES IDEES OMISES PRECEDEMMENT

Edition: Rennes: Université de Rennes
Langue: Français
Collation: 168 p. ill. ;30 cm
Diplôme: Docteur de 3eme cycle
Etablissement de soutenance: U.E.R Mathématique et Informatique
Index décimal 621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème Informatique

Mots clés:
LANGAGE EVOLUE
conception systéme
TYPE ABSTRAIT
machine virtuelle

Note: Bibliogr.pp.157-159; Annexe pp.160-168