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
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é.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|