Actes de la 13 ème édition d'AFADL, atelier francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels, juin 2014. - Archive ouverte HAL
Ouvrages Année : 2014

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.

Domaines

Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
actes_AFADL2014.pdf (3.03 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Régine Laleau  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00997676

Soumis le : mercredi 28 mai 2014-15:15:43

Dernière modification le : vendredi 27 décembre 2024-19:48:46

Archivage à long terme le : jeudi 28 août 2014-12:36:55

Télécharger pour visualiser

Dates et versions

hal-00997676 , version 1 (28-05-2014)

Identifiants

  • HAL Id : hal-00997676 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS CNAM LACL UPEC CEDRIC-CNAM HESAM
229 Consultations
475 Téléchargements

Partager

More