AFADL’12 : Approches Formelles dans l’Assistance au Développement de Logiciels

Thursday
12
Jan
2012
Tuesday
10
Jan
2012
Organized by: 
Ioannis Parissis (LCIS), Akram Idani (LIG), Yliès Falcone (LIG), Carole Seyvet (LCIS), Jennyfer Duberville (LCIS)
Teams: 

APPROCHES FORMELLES DANS L’ASSISTANCE AU DÉVELOPPEMENT DE LOGICIELS GRENOBLE, FRANCE, 11-13 JANVIER 2012

Lieu : Université Joseph Fourier, UFR IM2AG, Campus de Grenoble

L’atelier AFADL rassemble de nombreux acteurs académiques et industriels intéressés par la mise en œuvre des techniques formelles aux divers stades du développement des logiciels et/ou des systèmes. Il a pour objectif de mettre en valeur les travaux récents effectués autour de thèmes comme :

  • les techniques et outils formels contribuant à assurer un bon niveau de confiance dans la construction de logiciels,
  • les méthodes et processus permettant d’exploiter efficacement les techniques et outils formels disponibles ou conçus,
  • les méthodes et processus mettant en œuvre de techniques formelles différentes et hétérogènes dans un développement,
  • les leçons tirées de la mise en œuvre de ces outils ou principes sur des études de cas ou des applications industrielles.

Plus d’infos...