Titre :	Expression et vérification de propriétés externes d'IHM à partir d'une analyse de tâches utilisateur
Type de document :	theses et memoires
Auteurs :	Abdelkrim Chebieb ; Ait Ameur, Directeur de thèse
Editeur :	Tizi Ouzou : UMMTO.FGEI
Année de publication :	2004
Importance :	138 p.
Présentation :	ill.
Format :	30 cm.
Note générale :	bibliogr.
Langues :	Français
Mots-clés :	IHM  Interfaces  Model Checking  Validation des modéles.
Permalink :	./index.php?lvl=notice_display&id=32131

Expression et vérification de propriétés externes d'IHM à partir d'une analyse de tâches utilisateur [theses et memoires] / Abdelkrim Chebieb ; Ait Ameur, Directeur de thèse . - Tizi Ouzou (Tizi Ouzou) : UMMTO.FGEI, 2004 . - 138 p. : ill. ; 30 cm.
bibliogr.
Langues : Français

Mots-clés :	IHM  Interfaces  Model Checking  Validation des modéles.
Permalink :	./index.php?lvl=notice_display&id=32131