@inproceedings{DBLP:conf/refsq/BoschenBFR16,
  author    = {Martin B{\"{o}}schen and
               Ralf Bogusch and
               Anabel Fraga and
               Christian Rudat},
  title     = {Bridging the Gap between Natural Language Requirements and Formal
               Specifications},
  booktitle = {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.},
  year      = {2016},
  crossref  = {DBLP:conf/refsq/2016w},
  url       = {http://ceur-ws.org/Vol-1564/paper20.pdf},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/refsq/BoschenBFR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"NtiuLfnAGw4MEqCpg","bibbaseid":"bschen-bogusch-fraga-rudat-bridgingthegapbetweennaturallanguagerequirementsandformalspecifications-2016","downloads":0,"creationDate":"2016-04-16T23:03:52.433Z","title":"Bridging the Gap between Natural Language Requirements and Formal Specifications","author_short":["Böschen, M.","Bogusch, R.","Fraga, A.","Rudat, C."],"year":2016,"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/trc-research/trc-research.github.io/master/krgroup-publications.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Martin"],"propositions":[],"lastnames":["Böschen"],"suffixes":[]},{"firstnames":["Ralf"],"propositions":[],"lastnames":["Bogusch"],"suffixes":[]},{"firstnames":["Anabel"],"propositions":[],"lastnames":["Fraga"],"suffixes":[]},{"firstnames":["Christian"],"propositions":[],"lastnames":["Rudat"],"suffixes":[]}],"title":"Bridging the Gap between Natural Language Requirements and Formal Specifications","booktitle":"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.","year":"2016","crossref":"DBLP:conf/refsq/2016w","url":"http://ceur-ws.org/Vol-1564/paper20.pdf","timestamp":"Mon, 30 May 2016 16:28:37 +0200","biburl":"https://dblp.org/rec/bib/conf/refsq/BoschenBFR16","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/refsq/BoschenBFR16,\r\n author = {Martin B{\\\"{o}}schen and\r\n Ralf Bogusch and\r\n Anabel Fraga and\r\n Christian Rudat},\r\n title = {Bridging the Gap between Natural Language Requirements and Formal\r\n Specifications},\r\n booktitle = {Joint Proceedings of {REFSQ-2016} Workshops, Doctoral Symposium, Research\r\n Method Track, and Poster Track co-located with the 22nd International\r\n Conference on Requirements Engineering: Foundation for Software Quality\r\n {(REFSQ} 2016), Gothenburg, Sweden, March 14, 2016.},\r\n year = {2016},\r\n crossref = {DBLP:conf/refsq/2016w},\r\n url = {http://ceur-ws.org/Vol-1564/paper20.pdf},\r\n timestamp = {Mon, 30 May 2016 16:28:37 +0200},\r\n biburl = {https://dblp.org/rec/bib/conf/refsq/BoschenBFR16},\r\n bibsource = {dblp computer science bibliography, https://dblp.org}\r\n}\r\n\r\n\r\n\r\n","author_short":["Böschen, M.","Bogusch, R.","Fraga, A.","Rudat, C."],"key":"DBLP:conf/refsq/BoschenBFR16","id":"DBLP:conf/refsq/BoschenBFR16","bibbaseid":"bschen-bogusch-fraga-rudat-bridgingthegapbetweennaturallanguagerequirementsandformalspecifications-2016","role":"author","urls":{"Paper":"http://ceur-ws.org/Vol-1564/paper20.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["bridging","gap","between","natural","language","requirements","formal","specifications","böschen","bogusch","fraga","rudat"],"keywords":[],"authorIDs":[],"dataSources":["JaYmsyrqfprbMwWjs","zX3jZkAgjWgEdfWCe","dzQJiZD3die58aTqK"]}