Pôle "Interfaces et Environnements"

Objectifs à moyen terme

conception d'un formalisme pour la spécification d'interfaces fondé sur la logique temporelle

intégration de CalICo sur le WWW

contraintes réactives à objets pour les interfaces

spécification de collecticiels

conception d'un langage pour décrire les transformations