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

Littérature citée [129 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00997676
Contributeur : Régine Laleau <>
Soumis le : mercredi 28 mai 2014 - 15:15:43
Dernière modification le : mardi 15 janvier 2019 - 14:54:09
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

301

Téléchargements de fichiers

485