Generation of Formal Requirements from Structured Natural Language
Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann
Topics & Concepts
Computer scienceCorrectnessProgramming languageSemantics (computer science)Natural languageOperational semanticsNotationFormal methodsTheoretical computer scienceArtificial intelligenceArithmeticMathematicsFormal Methods in VerificationAdvanced Software Engineering MethodologiesModel-Driven Software Engineering Techniques