Actes de la 13 ème édition d'AFADL, atelier francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels, juin 2014.

Résumé : L'atelier AFADL rassemble de nombreux acteurs académiques et industriels intéressés par la mise en oeuvre de techniques formelles aux divers stades du développement des logiciels et/ou des systèmes. Les articles contenus dans les actes d'AFADL 2014 couvrent un large éventail de techniques, méthodes et applications. 6 articles longs et 6 articles courts présentent des résultats nouveaux. Un des articles présente un projet ANR. Enfin 7 articles sont des résumés d'articles déjà présentés dans des conférences internationales.
Type de document :
Ouvrage (y compris édition critique et traduction)
Catherine Dubois, Régine Laleau. AFADL, pp.140, 2014
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-00997676
Contributeur : Régine Laleau <>
Soumis le : mercredi 28 mai 2014 - 15:15:43
Dernière modification le : jeudi 20 juillet 2017 - 09:27:06
Document(s) archivé(s) le : jeudi 28 août 2014 - 12:36:55

Fichier

actes_AFADL2014.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00997676, version 1

Collections

Citation

Catherine Dubois, Régine Laleau. Actes de la 13 ème édition d'AFADL, atelier francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels, juin 2014.. Catherine Dubois, Régine Laleau. AFADL, pp.140, 2014. <hal-00997676>

Partager

Métriques

Consultations de
la notice

249

Téléchargements du document

297