Résumé: 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:
Langue: Français
Collation: 87 p. ill. ;30 cm
Diplôme: Magister
Etablissement de soutenance: Biskra, Université Mohamed Khider. Faculté des Sciences et des Sciences de l'Ingénieur
Spécialité: Informatique industrielle
Index décimal 005.7 .Données informatiques (organisation des données, programmation des communications et de l'interfaçage, programmes)
Thème Informatique

Mots clés:
Ordinateurs : Programmation
CHR (langage)
Sémantique opérationnelle
Débogage dynamique
VRML (langage de programmation)

Note: Bibliogr.pp.67-69; Tabl.p.70; Figr.p.71; Annexe pp.72-87