PHOENiX LaBRI - Bordeaux JUG

Samedi 14 Mai - 14h30
ENSEIRB - MATMECA
I001
BordeauxJUG
Ouvert à tous
Restaurant offert !
DiaSpec
un langage de conception
au secours des programmeurs
Présenté par Quentin Enard, Jean-Rémy Falleri et Xavier Blanc
Équipes de recherche Phoenix et Sphere, Université de Bordeaux
diasuite.inria.fr
DiaSpec est un langage de conception qui permet d'utiliser le
ré sultat de la conception d'une application pour en faciliter
l'implé mentation. À partir d'une spécification décrite en DiaSpec,
un framework de programmation est généré afin de guider le
programmeur.
Pendant ce JUG, les dé veloppeurs de DiaSpec viendront vous
pré senter le projet et vous serez mis à contribution pour
l'é valuer. Tous les participants à cette expérimentation seront
invité s au restaurant gastronomique « La Belle E� poque » de
Bordeaux à une date à voter.
Places limitées
inscrivez-vous vite sur http://bordeauxjug.org
Phoenix
INRIA Research Group
LaBRI