Pôle "Interfaces et Environnements"

Projet CISé: contraintes interactives et sémantiques

Responsable: Paul Franchi-Zannettacci
Laboratoire I3S, Sophia Antipolis

  • Résolution de systèmes de contraintes

  • Intégration de la programmation par contraintes
    • au modèle objet
    • à l'inférence de types

  • Systèmes de contraintes pour interfaces graphiques

  • Coopération de solveurs numériques

    •