Proceedings ”Approches formelles dans l’assistance au développement du logiciel (AFADL)", Vannes, 2022 - Archive ouverte HAL Access content directly
Reports Year : 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
  • Function : relator_scientific_editor
  • PersonId : 1377737

Abstract

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
Origin Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-04556748 , version 1

Cite

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⟩
13 View
11 Download

Share

Gmail Mastodon Facebook X LinkedIn More