Bridging the Gap between Natural Language Requirements and Formal Specifications

BIB
Böschen, Martin and Bogusch, Ralf and Fraga, Anabel and Rudat, Christian
Joint Proceedings of REFSQ-2016 Workshops, Doctoral Symposium, Research Method Track, and Poster Track (REFSQ-JP 2016)
2016
inproceedings
CEUR-WS
CEUR Workshop Proceedings
1-11
CRYSTAL
Critical System Engineering Acceleration (sorry - only available in German)
http://ceur-ws.org/Vol-1564/paper20.pdf
1564