<  Back to the Polytechnique Montréal portal

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 and Gabriela Nicolescu

Paper (2024)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/58072/
Conference Title: 30th International Working Conference on Requirement Engineering : Foundation for Software Quality (REFSQ 2024)
Conference Location: Winterthur, Switzerland
Publisher: Springer
DOI: 10.1007/978-3-031-57327-9_13
Official URL: https://doi.org/10.1007/978-3-031-57327-9_13
Date Deposited: 30 Apr 2024 12:41
Last Modified: 30 Apr 2024 12:41
Cite in 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 [Paper]. 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

Statistics

Dimensions

Repository Staff Only

View Item View Item