{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:41:52Z","timestamp":1725532912832},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642020490"},{"type":"electronic","value":"9783642020506"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02050-6_17","type":"book-chapter","created":{"date-parts":[[2009,6,5]],"date-time":"2009-06-05T23:22:21Z","timestamp":1244244141000},"page":"197-211","source":"Crossref","is-referenced-by-count":13,"title":["Translation of Textual Specifications to Automata by Means of Discourse Context Modeling"],"prefix":"10.1007","author":[{"given":"Leonid","family":"Kof","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-540-39866-0_34","volume-title":"Perspectives of System Informatics","author":"L. Kof","year":"2004","unstructured":"Kof, L., Sch\u00e4tz, B.: Combining aspects of reactive systems. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol.\u00a02890, pp. 344\u2013349. Springer, Heidelberg (2004)"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1109\/RE.2007.38","volume-title":"15th IEEE International Requirements Engineering Conference","author":"L. Kof","year":"2007","unstructured":"Kof, L.: Scenarios: Identifying missing objects and actions by means of computational linguistics. In: 15th IEEE International Requirements Engineering Conference, New Delhi, India, pp. 121\u2013130. IEEE Computer Society Conference Publishing Services, Los Alamitos (2007)"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/978-3-540-73351-5_16","volume-title":"NLDB 2007","author":"L. Kof","year":"2007","unstructured":"Kof, L.: Treatment of Passive Voice and Conjunctions in Use Case Documents. In: Kedad, Z., Lammari, N., M\u00e9tais, E., Meziane, F., Rezgui, Y. (eds.) NLDB 2007. LNCS, vol.\u00a04592, pp. 181\u2013192. Springer, Heidelberg (2007)"},{"key":"17_CR4","first-page":"331","volume-title":"16th IEEE International Requirements Engineering Conference","author":"L. Kof","year":"2008","unstructured":"Kof, L.: From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction. In: 16th IEEE International Requirements Engineering Conference, Barcelona, Spain, pp. 331\u2013332. IEEE Computer Society, Los Alamitos (2008)"},{"key":"17_CR5","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/s00766-004-0195-3","volume":"9","author":"L. Mich","year":"2004","unstructured":"Mich, L., Franch, M., Novi Inverardi, P.: Market research on requirements analysis using linguistic tools. Requirements Engineering\u00a09, 40\u201356 (2004)","journal-title":"Requirements Engineering"},{"key":"17_CR6","unstructured":"Rupp, C.: Requirements-Engineering und -Management. In: Professionelle, iterative Anforderungsanalyse f\u00fcr die Praxis, 2nd edn., Hanser\u2013Verlag (2002) ISBN 3-446-21960-9"},{"key":"17_CR7","volume-title":"Software Engineering Economics","author":"B.W. Boehm","year":"1981","unstructured":"Boehm, B.W.: Software Engineering Economics. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0027227","volume-title":"Formal Methods for Industrial Applications","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R., B\u00f6rger, E., Langmaack, H.: The steam boiler case study: Competition of formal program specification and development methods. In: Abrial, J.R., Borger, E., Langmaack, H. (eds.) Dagstuhl Seminar 1995. LNCS, vol.\u00a01165. Springer, Heidelberg (1996)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods for Industrial Applications","year":"1996","unstructured":"Abrial, J.-R., B\u00f6rger, E., Langmaack, H. (eds.): Dagstuhl Seminar 1995. LNCS, vol.\u00a01165. Springer, Heidelberg (1996)"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Curran, J.R., Clark, S., Vadas, D.: Multi-tagging for lexicalized-grammar parsing. In: 21st International Conference on Computational Linguistics and 44th Annual Meeting of the Association for Computational Linguistics, Sydney, Australia, July 17-21 (2006)","DOI":"10.3115\/1220175.1220263"},{"key":"17_CR11","unstructured":"Blackburn, P., Bos, J., Kohlhase, M., de Nivelle, H.: Inference and computational semantics. CLAUS-Report 106, Universit\u00e4t des Saarlandes, Saarbr\u00fccken (1998)"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1145\/1072997.1072999","volume":"14","author":"V. Gervasi","year":"2005","unstructured":"Gervasi, V., Zowghi, D.: Reasoning about inconsistencies in natural language requirements. ACM Trans. Softw. Eng. Methodol.\u00a014, 277\u2013330 (2005)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1109\/ISRE.1993.324852","volume-title":"Proceedings of IEEE International Symposium on Requirements Engineering","author":"K. Ryan","year":"1992","unstructured":"Ryan, K.: The role of natural language in requirements engineering. In: Proceedings of IEEE International Symposium on Requirements Engineering, pp. 240\u2013242. IEEE Computer Society Press, Los Alamitos (1992)"},{"key":"17_CR14","first-page":"97","volume-title":"26th Annual NASA Goddard Software Engineering Workshop, Greenbelt, Maryland","author":"F. Fabbrini","year":"2001","unstructured":"Fabbrini, F., Fusani, M., Gnesi, S., Lami, G.: The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool. In: 26th Annual NASA Goddard Software Engineering Workshop, Greenbelt, Maryland, pp. 97\u2013105. IEEE Computer Society, Los Alamitos (2001)"},{"key":"17_CR15","unstructured":"Kamsties, E., Berry, D.M., Paech, B.: Detecting ambiguities in requirements documents using inspections. In: Workshop on Inspections in Software Engineering, Paris, France, pp. 68\u201380 (2001)"},{"key":"17_CR16","first-page":"56","volume-title":"RE 2006: Proceedings of the 14th IEEE International Requirements Engineering Conference (RE 2006)","author":"F. Chantree","year":"2006","unstructured":"Chantree, F., Nuseibeh, B., de Roeck, A., Willis, A.: Identifying nocuous ambiguities in natural language requirements. In: RE 2006: Proceedings of the 14th IEEE International Requirements Engineering Conference (RE 2006), Washington, DC, USA, pp. 56\u201365. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"17_CR17","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1023\/A:1008617922496","volume":"4","author":"L. Goldin","year":"1997","unstructured":"Goldin, L., Berry, D.M.: AbstFinder, a prototype natural language text abstraction finder for use in requirements elicitation. Automated Software Eng.\u00a04, 375\u2013412 (1997)","journal-title":"Automated Software Eng."},{"key":"17_CR18","doi-asserted-by":"publisher","first-page":"882","DOI":"10.1145\/182.358441","volume":"26","author":"R.J. Abbott","year":"1983","unstructured":"Abbott, R.J.: Program design by informal English descriptions. Communications of the ACM\u00a026, 882\u2013894 (1983)","journal-title":"Communications of the ACM"},{"key":"17_CR19","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1109\/TSE.2005.129","volume":"31","author":"P. Sawyer","year":"2005","unstructured":"Sawyer, P., Rayson, P., Cosh, K.: Shallow knowledge as an aid to deep understanding in early phase requirements engineering. IEEE Trans. Softw. Eng.\u00a031, 969\u2013981 (2005)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"17_CR20","doi-asserted-by":"publisher","first-page":"753","DOI":"10.1093\/comjnl\/37.9.753","volume":"37","author":"S. Vadera","year":"1994","unstructured":"Vadera, S., Meziane, F.: From English to formal specifications. The Computer Journal\u00a037, 753\u2013763 (1994)","journal-title":"The Computer Journal"},{"key":"17_CR21","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/ICSE.2002.1007952","volume-title":"ICSE 2002: Proceedings of the 24th International Conference on Software Engineering","author":"R.L. Smith","year":"2002","unstructured":"Smith, R.L., Avrunin, G.S., Clarke, L.A., Osterweil, L.J.: Propel: an approach supporting property elucidation. In: ICSE 2002: Proceedings of the 24th International Conference on Software Engineering, pp. 11\u201321. ACM Press, New York (2002)"},{"key":"17_CR22","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1162\/coli.2007.33.4.493","volume":"33","author":"S. Clark","year":"2007","unstructured":"Clark, S., Curran, J.R.: Wide-coverage efficient statistical parsing with ccg and log-linear models. Comput. Linguist.\u00a033, 493\u2013552 (2007)","journal-title":"Comput. Linguist."},{"key":"17_CR23","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1023\/A:1008605412971","volume":"5","author":"N.A.M. Maiden","year":"1998","unstructured":"Maiden, N.A.M.: CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements. Automated Software Engineering\u00a05, 419\u2013446 (1998)","journal-title":"Automated Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Requirements Engineering: Foundation for Software Quality"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02050-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,8]],"date-time":"2019-03-08T18:20:54Z","timestamp":1552069254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02050-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642020490","9783642020506"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02050-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}