Proceedings ”Approches formelles dans l’assistance au développement du logiciel (AFADL)", Vannes, 2022 - Archive ouverte HAL Accéder directement au contenu
Rapport Année : 2022

Proceedings ”Approches formelles dans l’assistance au développement du logiciel (AFADL)", Vannes, 2022

Actes des Journées ”Approches formelles dans l’assistance au développement du logiciel (AFADL)", Vannes, 2022

J. Christian Attiogbé
Fatiha Zaïdi
  • Fonction : éditeur scientifique
  • PersonId : 1377737

Résumé

These proceedings bring together the work presented at the GDR GPL conference in Vannes. They fall into several categories: - articles presenting new work or results of academic or industrial work not yet published; - work and results from doctoral students supervised by researchers from the community; - articles presenting tools that demonstrate the relevance and performance and performance of academic or industrial research tools; - contributions presenting some of the results obtained as part of national or international projects; - abstracts of articles recently published in international conferences or journals, in order to communicate about the researchers in our community at a national level.
Ces actes rassemblent les travaux présentés lors des journées du GDR GPL à Vannes. Ils relèvent de plusieurs catégories : - des articles présentant de nouveaux travaux ou résultats de travaux académiques ou industriels non encore publiés ; - des travaux et résultats de doctorantes et doctorants encadrés par les chercheuses et chercheurs de la communauté ; - des articles relevant de la présentation d’outils démontrant la pertinence et les performances d’outils de recherche académique ou industrielle ; - des contributions présentant quelques résultats obtenus dans le cadre de projet nationaux ou internationaux ; - des résumés d’articles récemment publiés dans des conférences ou journaux internationaux, afin de communiquer aussi au niveau national sur les chercheurs de notre communauté.
Fichier principal
Vignette du fichier
main_afadl2022.pdf (2.83 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04556748 , version 1 (23-04-2024)

Identifiants

  • HAL Id : hal-04556748 , version 1

Citer

J. Christian Attiogbé, Fatiha Zaïdi. Proceedings ”Approches formelles dans l’assistance au développement du logiciel (AFADL)", Vannes, 2022. LS2N-Nantes Université; LMF-Univesité Paris Saclay. 2022. ⟨hal-04556748⟩
0 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More