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

Rim Zrelli, Henrique Amaral Misson, Maroua Ben Attia, Felipe Gohring de Magalhaes, 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:	31 Jan 2025 15:21

Cite in APA 7:	Zrelli, R., Amaral Misson, H., Ben Attia, M., Gohring de Magalhaes, 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
APA 7 (HTML)ASCII CitationAtomBibTeXDOIsDublin CoreEndNote (.ENW)MARC (ISO 2709/UTF-8) (.MRC)MARC (UTF-8) (.MRK8)MARC XMLMPEG-21 DIDLMultiline CSVOAI-ORE Resource Map (Atom Format)OPENAIREOpenURL ContextObjectOpenURL ContextObject in SpanRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager (.RIS)Simple Metadata

Statistics

Repository Staff Only