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 Systems Engineering Acceleration
1564