Architectures, Langages et Formalismes pour les Systèmes Interactifs

Groupe de travail 2.2 du GDR I3

La page principale du groupe est la

Les contributions à la prochaine réunion du GT sont :

Architecture des boîtes à outils

• Compte rendu de l'atelier d'IHM 98
• Compte rendu de l'autre atelier d'IHM 98
• "Un modèle de briques pour réaliser des interfaces graphiques: le toolkit Ubit", par Eric Lecolinet de l'ENST
• une "taxonomie des boîtes à outils" par Thomas Baudel d'Ilog
• Guillaume Texier de l'ENSMA

Formalismes

• "XTL : une logique temporelle pour la spécification formelle des systèmes interactifs" par Philiipe Brun du LRI
• Dimitri TABARY et Mourad ABED (LAMIH - UMR CNRS 8530): "TOOD : Méthodologie de conception orientée objets d'interface utilisateur, centrée sur l'homme".
• "Les techniques de spécification formelle comme support à l'intégration des différents modèles intervenant dans le processus de conception des systèmes interactifs." par Philippe Palanque et Rémi Bastide du LIS
• Approche avec B (Y. Aït-Ameur) de l'ENSMA
• Spécification et implémentation d'interacteurs avec Esterel par Jean-Daniel Fekete de l'EMN