|
Équipe Calcul Formel Pascale Sénéchaud |
|
|
Maitre de Conférences en
mathématiques Tél. 05 55 45 73 17 Fax 05 55 45 73 22 |
|
|
Équipe Calcul Formel Pascale Sénéchaud |
|
|
Maitre de Conférences en
mathématiques Tél. 05 55 45 73 17 Fax 05 55 45 73 22 |
|
Coorganatrice du groupe de travail Calcul formel et Esquisse qui a lieu 9 fois par an en moyenne a Paris. L'axe de recherche principal de ce groupe est la spécification des langages de Calcul Formel. Mes différentes préoccupations portent en particulier sur la notion de modèle syntaxique, les problèmes de spécification des structures mathématiques et de leur manipulation (paramétrisation) et la validation de notre point de vue (esquisses) dans le domaine de spécification algébrique à l'aide d'une étude de cas.
Toujours dans l'axe spécification des langages de calcul formel.
Développer la notion de modèle syntaxique.
Faire le lien entre la paramétrisation en théorie des esquisses et celle faite en théorie de spéfication algébrique.
Mieux formaliser les notions de vue et d'héritage.
