Automatic translation of natural language requirements into CTL specifications using Large Language Models: A multi-approach evaluation

Rim Zrelli, Henrique Amaral Misson, Mohamed Attia, Felipe Gohring de Magalhaes, Abdo Shabah, Gabriela Nicolescu

Article de revue (2026)

Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Voir chez l'éditeur officiel

Mots clés

Département:
Département de génie informatique et génie logiciel
Organismes subventionnaires:
Mitacs
Adresse URL de PolyPublie:
https://publications.polymtl.ca/79922/
Titre de la revue :
Journal of Systems and Software ( vol. 240 )
Maison d'édition:
Elsevier BV
DOI:
10.1016/j.jss.2026.112941
URL officielle:
https://doi.org/10.1016/j.jss.2026.112941
OAI:
oai:publications.polymtl.ca:79922
ORCID
Date du dépôt:
30 juil. 2026 13:52
Dernière modification:
14 oct. 2026 14:41
Citer en APA 7:
Zrelli, R., Amaral Misson, H., Attia, M., Gohring de Magalhaes, F., Shabah, A., & Nicolescu, G. (2026). Automatic translation of natural language requirements into CTL specifications using Large Language Models: A multi-approach evaluation. Journal of Systems and Software, 240, 112941 (15 pages). https://doi.org/10.1016/j.jss.2026.112941

Statistiques

Dimensions

Actions réservées au personnel

Afficher document
Afficher document