Bridging the Gap between Natural Language Requirements and Formal Specifications

Martin Böschen, Ralf Bogusch, Anabel Fraga, Christian Rudat. Bridging the Gap between Natural Language Requirements and Formal Specifications. In Elizabeth Bjarnason, Markus Borg, Marian Daun, Oscar Dieste, Sergio España, Michael Felderer, Peter Forbrig, Xavier Franch, Gregory Gay, Andrea Herrmann, Jennifer Horkoff, Marite Kirikova, Mirko Morandini, Andreas L. Opdahl, Barbara Paech, Cristina Palomares, Kai Petersen, Ahmed Seffah, Bastian Tenbergen, Michael Unterkalmsteiner, editors, Joint Proceedings of REFSQ-2016 Workshops, Doctoral Symposium, Research Method Track, and Poster Track co-located with the 22nd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2016), Gothenburg, Sweden, March 14, 2016. Volume 1564 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]

Abstract

Abstract is missing.