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

Vendredi
13
Jan
2012
Mercredi
11
Jan
2012
Organisé par : 
Ioannis Parissis (LCIS), Akram Idani (LIG), Yliès Falcone (LIG), Carole Seyvet (LCIS), Jennyfer Duberville (LCIS)
Équipes : 

Information détaillée : 

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...