ملخص: 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

طبعة: Rennes: Université de Rennes
لغة: فرنسية
الوصف المادي: 168 p. ill. ;30 cm
الشهادة: Docteur de 3eme cycle
مؤسسة مناقشة الرسالة: U.E.R Mathématique et Informatique
الفهرس العشري 621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع الإعلام الآلي

الكلمات الدالة:
LANGAGE EVOLUE
conception systéme
TYPE ABSTRAIT
machine virtuelle

ملاحظة: Bibliogr.pp.157-159; Annexe pp.160-168