PHOENiX LaBRI - Bordeaux JUG
Transcription
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