Description : IA pour la Production Logicielle / AI for Software Engineering

Ce défi traite de la question : “Comment appliquer l’IA (et notamment l’IA générative)
pour construire des logiciels fiables?”. Il s’agit de proposer des méthodes et outils de génie logiciel intégrant de l’IA dédiée. Ce défi est très lié au défi SE4AIA selon
la logique suivante : Pour faire des logiciels de confiance en s’aidant de l’IA, il faut disposer d’une IA de confiance. Avec les avancées de l’IA, et particulièrement l’IA générative, il paraît intéressant de se poser la question de son utilisation dans la modélisation et la vérification formelles des logiciels, par exemple pour réduire la complexité de l’application des méthodes formelles. En résumé, les systèmes logiciels sont “par nature” difficiles à spécifier et à concevoir. L’objectif des méthodes formelles est de permettre de traiter cette complexité au moyen d’outils mathématiques. Un objectif majeur de l’IA pour les méthodes formelles est de réduire la complexité de la mise en œuvre de ces techniques pour les ingénieurs.