Interface graphique de Vaucanson

Auteurs

Florent D'Halluin

Type

techreport

Année

2008

Numéro

0822

Projects

Vaucanson

Mots-clés

Vaucanson, Vaucanson GUI, User Interface, QT, Design principles

Résumé

Vaucanson est une plateforme de manipulation d'automates finis. Débuté en 2002, le projet attire de plus en plus d'utilisateurs. De ce fait, une interface utilisateur efficace est nécessaire.par Pour l'utilisateur non expert, la manipulation d'automates peut s'effectuer via taf-kit, une suite d'outils accessible en ligne de commande. Une première interface graphique avait été esquissée en 2005, mais son fonctionnement était lent et compliqué car elle s'appuyait sur taf-kit pour réaliser chaque opération.par Cette nouvelle interface graphique, branchée directement sur le cur de la bibliothèque pour plus d'efficacité, simplifie la manipulation d'automates et rend accessible les algorithmes génériques de Vaucanson.