Req2Spec: Transforming Software Requirements into Formal Specifications Using Natural Language Processing
Anmol Nayak, Hari Prasad Timmapathini, Vidhya Murali, Karthikeyan Ponnalagu, Vijendran G. Venkoparao, Amalinda Post
Topics & Concepts
Computer scienceSystems development life cycleSoftware engineeringAutomationFormal specificationRequirements analysisSoftware requirements specificationSpecification languageProgramming languageFormal methodsSoftware developmentSoftware development processSoftware requirementsSoftwareSoftware constructionMechanical engineeringEngineeringSoftware Engineering ResearchSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis Research