ملخص: Le travail développé dans ce rapport montre comment nous appliquons ce modèle aux solveurs CHR (constraint handling rules) sur domaine finis afin d'englober différents types de solveurs, nous étudions dans cette approche la validité de ce type modèle.

Batna:
لغة: فرنسية
الوصف المادي: 87 p. ill. ;30 cm
الشهادة: Magister
مؤسسة مناقشة الرسالة: Biskra, Université Mohamed Khider. Faculté des Sciences et des Sciences de l'Ingénieur
تخصص: Informatique industrielle
الفهرس العشري 005.7 .بيانات الكمبيوتر (تنظيم البيانات ، برمجة الاتصالات والتواصل ، برامج)
الموضوع الإعلام الآلي

الكلمات الدالة:
Ordinateurs : Programmation
CHR (langage)
Sémantique opérationnelle
Débogage dynamique
VRML (langage de programmation)

ملاحظة: Bibliogr.pp.67-69; Tabl.p.70; Figr.p.71; Annexe pp.72-87