Approches formelles pour le développement de logiciels - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2007

Approches formelles pour le développement de logiciels

Jeanine Souquières

Résumé

Ce numéro spécial a été préparé suite aux 7èmes rencontres de l'atelier AFADL, qui s'est tenu en janvier 2006 à Besançon. Qu'est ce qu'AFADL ? C'est un lieu de rencontre et d'échanges entre le monde académique et le monde industriel de la communauté francophone sur les méthodes formelles pour le développement de logiciels. Les thèmes abordés portent aussi bien sur la définition, l'évaluation et la validation de modèles de développement que sur la définition de méthodes et d'outils orientés vers l'assistance à la vérification, à la synthèse de programmes ou à leur validation par le test à partir de modèles formels. AFADL encourage la participation des jeunes chercheurs offrant une durée d'exposé permettant aux orateurs de présenter le contexte de leurs recherches avant de mettre en valeur leur apport personnel.
Fichier non déposé

Dates et versions

hal-00184424 , version 1 (31-10-2007)

Identifiants

  • HAL Id : hal-00184424 , version 1

Citer

Jeanine Souquières (Dir.). Approches formelles pour le développement de logiciels. Lavoisier (Hermes), pp.128, 2007. ⟨hal-00184424⟩
166 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More