Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language Processing.
Anmol Nayak, Hariprasad Timmapathini, Vidhya Murali, Karthikeyan Ponnalagu, Vijendran Gopalan Venkoparao, Amalinda Post
Browse the full REFSQ paper archive.