Pôle "Interfaces et Environnements"

Evaluation des formalismes pour la description des systèmes interactifs

  • grille d'analyse de douze critères

  • 17 formalismes évalués

  • trois grandes familles:
    • sciences cognitives
    • théorie du calcul
    • théorie des catégories