GDR I3 Groupe de Travail 1.5
Modèles Formels pour l'Interaction

Réunion du 5 décembre 2003

Cette réunion a eu lieu au LIP6. Elle a permis à 5 orateurs de présenter leurs travaux et d'interagir avec les participants.

Yamine AIT AMEUR

Validation de taches avec B. Approches explicite et implicite

Les transparents de sa présentation sont disponibles :

Yann SECQ

Un modèle de spécification exécutable de protocoles d'interaction pour les SMA ouverts

Les transparents de sa présentation sont disponibles :

Marc-Philippe HUGET

Un modèle formel pour augmenter le pouvoir d'expression des protocoles lors des interactions entre agents

Les transparents de sa présentation sont disponibles :

Gaëlle CALVARY et Olfa DAASSI

Interaction Homme-Machine : vers une formalisation du modèle d'évolution pour des systèmes interactifs plastiques

Les transparents de leur présentation sont disponibles (Attention les fichiers sont gros !!!) :

En plus des références cités dans la présentation Gaëlle conseille la lecture de cet article qui pose le cadre de la plasticité :

«Plasticité des Interfaces : une nécessité !, »
G. Calvary et J. Coutaz
Information-Interaction-Intelligence, Actes des deuxièmes Assises nationales du GDR I3, pp 247-261
Cépaduès Editions, 2002
J. Le Maître (Ed)

Clément JONQUET

Le modèle STROBE et ses évolutions : Interprétation des interactions

Les transparents de sa présentation sont disponibles :

Copyright © 2003-2006 Philippe Mathieu  --   Mentions légales  --   HTML 4.01  --  CSS 2.0  --  Mimine 1.0  --   Dernière regénération : mardi 11 novembre 2014 à 12:38