Équipe Calcul Formel

Pascale Sénéchaud

Maitre de Conférences en mathématiques
à l'université de Limoges

pascale.senechaud@unilim.fr

Tél. 05 55 45 73 17

Fax 05 55 45 73 22

 

2. Bilan scientifique (1996-1999)

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.

3. Projets de recherches (2000-2003)

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.

 


File translated from TEX by TTH, version 2.25.
On 13 Jul 1999, 11:29.