Etude de langages de coordination : analyse d'expressivité, sémantique et méthodologique de programmation

Période

2002-2007

Description

L'hétérogénéïté grandissante des éléments composants les systèmes d'information modernes pose, au niveau de la programmation, des questions que cherchent à investiguer les langages de coordination. Notre démarche s'articule en trois temps. Nous commençons par une analyse de langages de coordination, nous procèderons ensuite à une étude de sémantique et nous terminerons en cherchant à proposer des méthodologies de programmations associées aux langages étudiés.

Unités

• Pôle sémantique, logique et calcul (ISLC)

Staff (contrats terminés)

Publications (1)

Thèses