<  Retour au portail Polytechnique Montréal

Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents

Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhães, Abdo Shabah et Gabriela Nicolescu

Communication écrite (2024)

Un lien externe est disponible pour ce document
Département: Département de génie informatique et génie logiciel
URL de PolyPublie: https://publications.polymtl.ca/58072/
Nom de la conférence: 30th International Working Conference on Requirement Engineering : Foundation for Software Quality (REFSQ 2024)
Lieu de la conférence: Winterthur, Switzerland
Maison d'édition: Springer
DOI: 10.1007/978-3-031-57327-9_13
URL officielle: https://doi.org/10.1007/978-3-031-57327-9_13
Date du dépôt: 30 avr. 2024 12:41
Dernière modification: 30 avr. 2024 12:41
Citer en APA 7: Zrelli, R., Amaral Misson, H., Ben Attia, M., Gohring de Magalhães, F., Shabah, A., & Nicolescu, G. Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents [Communication écrite]. 30th International Working Conference on Requirement Engineering : Foundation for Software Quality (REFSQ 2024), Winterthur, Switzerland. https://doi.org/10.1007/978-3-031-57327-9_13

Statistiques

Dimensions

Actions réservées au personnel

Afficher document Afficher document