research areas Informatique Méthodes de spécification Programmation parallèle Spécification logicielle