Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language Processing

Anmol Nayak, Hariprasad Timmapathini, Vidhya Murali, Karthikeyan Ponnalagu, Vijendran Gopalan Venkoparao, Amalinda Post. Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language Processing. In Vincenzo Gervasi, Andreas Vogelsang, editors, Requirements Engineering: Foundation for Software Quality - 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings. Volume 13216 of Lecture Notes in Computer Science, pages 87-95, Springer, 2022. [doi]

Abstract

Abstract is missing.