Generation of Formal Requirements from Structured Natural Language

Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann. Generation of Formal Requirements from Structured Natural Language. In Nazim Madhavji, Liliana Pasquale, editors, Requirements Engineering: Foundation for Software Quality - 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings [REFSQ 2020 was postponed]. Volume 12045 of Lecture Notes in Computer Science, pages 19-35, Springer, 2020. [doi]

Authors

Dimitra Giannakopoulou

This author has not been identified. Look up 'Dimitra Giannakopoulou' in Google

Thomas Pressburger

This author has not been identified. It may be one of the following persons: Look up 'Thomas Pressburger' in Google

Anastasia Mavridou

This author has not been identified. Look up 'Anastasia Mavridou' in Google

Johann Schumann

This author has not been identified. It may be one of the following persons: Look up 'Johann Schumann' in Google