{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T16:50:14Z","timestamp":1648745414728},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T00:00:00Z","timestamp":1452124800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Informatik Spektrum"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1007\/s00287-015-0942-5","type":"journal-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T05:05:33Z","timestamp":1452143133000},"page":"362-372","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Ein Modell f\u00fcr natursprachliche Anforderungsdokumente"],"prefix":"10.1007","volume":"39","author":[{"given":"Birgit","family":"Demuth","sequence":"first","affiliation":[]},{"given":"Harry","family":"Sneed","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,1,7]]},"reference":[{"key":"942_CR1","doi-asserted-by":"crossref","first-page":"970","DOI":"10.1109\/TSE.2002.1041053","volume":"28","author":"G Antoniol","year":"2002","unstructured":"Antoniol G, Canfora G, DeLucia A, Merlo E (2002) Recovering Traceability Links between Code and Documentation. IEEE Trans Softw Eng 28:970\u2013983","journal-title":"IEEE Trans Softw Eng"},{"key":"942_CR2","volume-title":"Testing object-oriented Systems \u2013 Models, Patterns and Tools","author":"R Binder","year":"1999","unstructured":"Binder R (1999) Testing object-oriented Systems \u2013 Models, Patterns and Tools. Addison-Wesley, Reading, MA, 481 pp"},{"key":"942_CR3","volume-title":"Writing Effective Use Cases","author":"A Cockburn","year":"2000","unstructured":"Cockburn A (2000) Writing Effective Use Cases. Addison-Wesley Professional, Boston, 270 pp"},{"key":"942_CR4","volume-title":"Software Requirements \u2013 Analysis and Specification","author":"A Davis","year":"1990","unstructured":"Davis A (1990) Software Requirements \u2013 Analysis and Specification. Prentice-Hall, Englewood Cliffs, NJ, 362 pp"},{"key":"942_CR5","volume-title":"Systematic Requirements Management","author":"C Ebert","year":"2005","unstructured":"Ebert C (2005) Systematic Requirements Management. dpunkt, Heidelberg, 87 pp"},{"key":"942_CR6","unstructured":"Ebert C, Sneed H (2015) Test Driven Requirements Engineering. In: Proc OOP DevCon, M\u00fcnchen"},{"key":"942_CR7","unstructured":"Eric S, Yu K (1997) Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering. In: Proc. 3rd IEEE International Symposium on Requirements Engineering (RE\u201897). IEEE Computer Society, Washington, DC"},{"key":"942_CR8","volume-title":"Business Modelling with UML","author":"H-E Eriksson","year":"2000","unstructured":"Eriksson H-E, Penker M (2000) Business Modelling with UML. OMG Press, John Wiley & Sons, New York, 64 pp"},{"key":"942_CR9","doi-asserted-by":"crossref","DOI":"10.3139\/9783446429697","volume-title":"Subjektorientiertes Prozessmanagement","author":"A Fleischmann","year":"2011","unstructured":"Fleischmann A, Schmidt W, Stary C, Obermeier S, B\u00f6rger E (2011) Subjektorientiertes Prozessmanagement. Hanser, M\u00fcnchen"},{"key":"942_CR10","doi-asserted-by":"crossref","DOI":"10.3139\/9783446438620","volume-title":"Effektive Business Analysis und Requirements Engineering (Kursank\u00fcndigung)","author":"P Hruschka","year":"2014","unstructured":"Hruschka P (2014) Effektive Business Analysis und Requirements Engineering (Kursank\u00fcndigung). CONNECT Training GmbH, Wien"},{"key":"942_CR11","doi-asserted-by":"crossref","first-page":"1126","DOI":"10.1109\/32.99198","volume":"17","author":"K Miriyala","year":"1991","unstructured":"Miriyala K, Harandi M (1991) Automatic derivation of formal software specifications from informal descriptions. IEEE Trans Sofw Eng 17:1126\u20131142","journal-title":"IEEE Trans Sofw Eng"},{"key":"942_CR12","doi-asserted-by":"crossref","unstructured":"Nwokeji J, Clark T, Barn B (2013) Towards a comprehensive Meta-Model for KAOS. In: Proc. 3rd International Model-Driven Requirements Engineering Workshop (MoDRE). IEEE, Brazil","DOI":"10.1109\/MoDRE.2013.6597261"},{"key":"942_CR13","unstructured":"Object Management Group (2013) Requirement Interchange Format. Chapter 7 (v 1.1). http:www.omg.org\/spec\/ReqIF, last access: 17.12.2015"},{"key":"942_CR14","unstructured":"Parnas D (1977) The Use of Precise Specifications in the Development of Software. In: Proc. IFIP Congress. Toronto, 201 pp"},{"key":"942_CR15","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/MC.2010.22","volume":"43","author":"D Parnas","year":"2010","unstructured":"Parnas D (2010) Really rethinking formal methods. IEEE Comput 43:28\u201334","journal-title":"IEEE Comput"},{"key":"942_CR16","volume-title":"Requirements Engineering - Grundlagen, Prinzipien, Techniken","author":"K Pohl","year":"2007","unstructured":"Pohl K (2007) Requirements Engineering - Grundlagen, Prinzipien, Techniken. dpunkt, Heidelberg, 605 pp"},{"key":"942_CR17","volume-title":"Mastering the Requirements Process","author":"S Robertson","year":"1999","unstructured":"Robertson S, Robertson J (1999) Mastering the Requirements Process. Addison-Wesley, Harlow, GB, 5 pp"},{"key":"942_CR18","volume-title":"Requirements-Engineering und -Management","author":"C Rupp","year":"2014","unstructured":"Rupp C (2014) Requirements-Engineering und -Management. Hanser, M\u00fcnchen"},{"key":"942_CR19","unstructured":"Rupp C (2012) Requirements in einem agilen Projekt \u2013 erst recht. In: Proc. 9th ASQT Konferenz. Klagenfurt"},{"key":"942_CR20","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/s00287-009-0410-1","volume":"34","author":"C Rupp","year":"2011","unstructured":"Rupp C, Cziharz T (2011) Mit Regeln zu einer besseren Spezifikation. Informatik-Spektrum 34:255\u2013264","journal-title":"Informatik-Spektrum"},{"key":"942_CR21","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/BF03323508","volume":"32","author":"C Rupp","year":"2012","unstructured":"Rupp C, Schwarz A (2012) Einfach englisch spezifizieren \u2013 nat\u00fcrlichsprachige Spezifikation in der Fremdsprache. GI Softwaretechnik-Trends 32:11\u201312","journal-title":"GI Softwaretechnik-Trends"},{"key":"942_CR22","unstructured":"Spillner A (2015) Pair Requirements Engineering. In: Proc. GI-Software Management Tagung. GI-Edition, Dresden, pp 305\u2013306"},{"key":"942_CR23","doi-asserted-by":"crossref","unstructured":"Sneed H (2007) Testing Against Natural Language Requirements. In: Proc. 7th Int. Conference on Quality Software (QSIC). Portland, 380 pp","DOI":"10.1109\/QSIC.2007.4385524"},{"key":"942_CR24","doi-asserted-by":"crossref","DOI":"10.3139\/9783446424487","volume-title":"Software in Zahlen","author":"H Sneed","year":"2010","unstructured":"Sneed H, Seidl R, Baumgartner M (2010) Software in Zahlen. Hanser, M\u00fcnchen"},{"key":"942_CR25","doi-asserted-by":"crossref","unstructured":"Sneed H, Verhoef C (2013) Natural Language Requirement Specification for Service Testing. In: Proc 15th Int. Symposium on Web Systems Evolution. IEEE Computer Society Press, Eindhofen, pp 5\u201314","DOI":"10.1109\/WSE.2013.6642410"},{"key":"942_CR26","series-title":"Subject-Oriented Business Process Management, Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/978-3-642-23135-3_9","volume-title":"Exporting Natural Language: Generating NL Sentences Out of S-BPM Process Models","author":"S Sneed","year":"2011","unstructured":"Sneed S (2011) Exporting Natural Language: Generating NL Sentences Out of S-BPM Process Models. Subject-Oriented Business Process Management, Communications in Computer and Information Science, vol 138. Springer, Heidelberg, pp 163\u2013179"},{"key":"942_CR27","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1007\/s00287-006-0106-8","volume":"29","author":"H Umbach","year":"2006","unstructured":"Umbach H, Metz P (2006) Use cases vs. Gesch\u00e4ftsprozesse. Informatik-Spektrum 29:424\u2013432","journal-title":"Informatik-Spektrum"},{"key":"942_CR28","volume-title":"The Object Constraint Language \u2013 Getting Your Models Ready for MDA","author":"J Warmer","year":"2003","unstructured":"Warmer J, Kleppe A (2003) The Object Constraint Language \u2013 Getting Your Models Ready for MDA. Pearson Education, Boston, MA"},{"key":"942_CR29","unstructured":"Wende C, Seifert M, Nestler T (2015) Tools f\u00fcr Acceptance Test-Driven Development (ATDD). http:www.informatik-aktuell.de, letzter Zugriff: 17.12.2015"}],"container-title":["Informatik-Spektrum"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-015-0942-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00287-015-0942-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-015-0942-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-015-0942-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T06:44:50Z","timestamp":1559025890000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00287-015-0942-5"}},"subtitle":["Basis f\u00fcr den anwendungsfallbasierten Systemtest"],"short-title":[],"issued":{"date-parts":[[2016,1,7]]},"references-count":29,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,10]]}},"alternative-id":["942"],"URL":"https:\/\/doi.org\/10.1007\/s00287-015-0942-5","relation":{},"ISSN":["0170-6012","1432-122X"],"issn-type":[{"value":"0170-6012","type":"print"},{"value":"1432-122X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,1,7]]}}}