Automated formalization of structured natural language requirements
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann
Topics & Concepts
Computer scienceProgramming languageNatural languageSoftware engineeringNatural (archaeology)Systems engineeringNatural language processingEngineeringGeologyPaleontologyFormal Methods in VerificationAdvanced Software Engineering MethodologiesModel-Driven Software Engineering Techniques