Skip to Main content Skip to Navigation
Directions of work or proceedings

Approches formelles pour le développement de logiciels

Jeanine Souquières 1 
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00184424
Contributor : Jeanine Souquières Connect in order to contact the contributor
Submitted on : Wednesday, October 31, 2007 - 9:46:09 AM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM

Identifiers

  • HAL Id : hal-00184424, version 1

Collections

Citation

Jeanine Souquières. Approches formelles pour le développement de logiciels. Lavoisier (Hermes), pp.128, 2007. ⟨hal-00184424⟩

Share

Metrics

Record views

145