{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:35:41Z","timestamp":1742913341046,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21640-4_9","type":"book-chapter","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T17:57:06Z","timestamp":1309283826000},"page":"93-107","source":"Crossref","is-referenced-by-count":2,"title":["From Requirements to Models: Feedback Generation as a Result of Formalization"],"prefix":"10.1007","author":[{"given":"Leonid","family":"Kof","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Birgit","family":"Penzenstadler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"9_CR1","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/s00766-003-0179-8","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(1), 40\u201356 (2004)","journal-title":"Requirements Engineering"},{"key":"9_CR2","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":"9_CR3","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, October 15\u201319, pp. 121\u2013130. IEEE Computer Society Conference Publishing Services, New Delhi (2007)"},{"key":"9_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, September 10-12, pp. 331\u2013332. IEEE Computer Society Conference Publishing Services, Barcelona (2008)"},{"key":"9_CR5","unstructured":"Buhr, K., Heumesser, N., Houdek, F., Omasreiter, H., Rothermehl, F., Tavakoli, R., Zink, T.: DaimlerChrysler demonstrator: System specification instrument cluster (2004), http:\/\/www.empress-itea.org\/deliverables\/D5.1_Appendix_B_v1.0_Public_Version.pdf (accessed 16.02.2010)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-642-02050-6_17","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"L. Kof","year":"2009","unstructured":"Kof, L.: Translation of Textual Specifications to Automata by Means of Discourse Context Modeling. In: Glinz, M., Heymans, P. (eds.) REFSQ 2009. LNCS, vol.\u00a05512, pp. 197\u2013211. Springer, Heidelberg (2009)"},{"key":"9_CR7","doi-asserted-by":"crossref","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., B\u00f6rger, E., Langmaack, H. (eds.) Dagstuhl Seminar 1995. LNCS, vol.\u00a01165. Springer, Heidelberg (1996), citeseer.nj.nec.com\/abrial96steam.html","DOI":"10.1007\/BFb0027228"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"103","DOI":"10.3115\/1218955.1218969","volume-title":"ACL 2004: Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics","author":"S. Clark","year":"2004","unstructured":"Clark, S., Curran, J.R.: Parsing the WSJ using CCG and log-linear models. In: ACL 2004: Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics, p. 103. Association for Computational Linguistics, Morristown (2004)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Gleich, B., Creighton, O., Kof, L.: Ambiguity detection: Towards a tool explaining ambiguity sources. In: Wieringa, R., Persson, A. (eds.) REFSQ 2010. LNCS, vol.\u00a06182. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-14192-8_20"},{"key":"9_CR10","unstructured":"Berry, D.M., Kamsties, E., Krieger, M.M.: From contract drafting to software specification: Linguistic sources of ambiguity, http:\/\/se.uwaterloo.ca\/~dberry\/handbook\/ambiguityHandbook.pdf (accessed 18.11.2004)"},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/ICSE.1989.714394","volume-title":"Proceedings of the 11th International Conference on Software Engineering","author":"M. Saeki","year":"1989","unstructured":"Saeki, M., Horai, H., Enomoto, H.: Software development process from natural language specification. In: Proceedings of the 11th International Conference on Software Engineering, pp. 64\u201373. ACM Press, New York (1989)"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1109\/ICSE.2001.919113","volume-title":"ICSE 2001: Proceedings of the 23rd International Conference on Software Engineering","author":"S.P. Overmyer","year":"2001","unstructured":"Overmyer, S.P., Lavoie, B., Rambow, O.: Conceptual modeling through linguistic analysis using LIDA. In: ICSE 2001: Proceedings of the 23rd International Conference on Software Engineering, pp. 401\u2013410. IEEE Computer Society, Washington, DC, USA (2001)"},{"key":"9_CR13","unstructured":"Ermagan, V., Huang, T.-J., Kr\u00fcger, I., Meisinger, M., Menarini, M., Moorthy, P.: Towards Tool Support for Service-Oriented Development of Embedded Automotive Systems. In: Proceedings of the Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES 2007), Informatik-Bericht 2007-01, Fakult\u00e4t f\u00fcr Informatik, Technische Universit\u00e4t Braunschweig (2007)"},{"key":"9_CR14","unstructured":"Rupp, C.: Requirements-Engineering und -Management. Professionelle, iterative Anforderungsanalyse f\u00fcr die Praxis, 2nd edn. Hanser\u2013Verlag (May 2002) ISBN 3-446-21960-9"},{"key":"9_CR15","doi-asserted-by":"crossref","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, pp. 97\u2013105. IEEE Computer Society, Greenbelt (2001), http:\/\/fmt.isti.cnr.it\/WEBPAPER\/fabbrini_nlrquality.pdf (accessed 08.02.2010)","DOI":"10.1109\/SEW.2001.992662"},{"key":"9_CR16","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":"9_CR17","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), pp. 56\u201365. IEEE Computer Society, Washington, DC, USA (2006)"},{"issue":"4","key":"9_CR18","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(4), 375\u2013412 (1997)","journal-title":"Automated Software Eng."},{"issue":"11","key":"9_CR19","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(11), 882\u2013894 (1983)","journal-title":"Communications of the ACM"},{"issue":"11","key":"9_CR20","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(11), 969\u2013981 (2005)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"9","key":"9_CR21","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(9), 753\u2013763 (1994)","journal-title":"The Computer Journal"},{"issue":"3","key":"9_CR22","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(3), 277\u2013330 (2005)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"2","key":"9_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1416563.1416565","volume":"18","author":"T.D. Breaux","year":"2008","unstructured":"Breaux, T.D., Ant\u00f3n, A.I., Doyle, J.: Semantic parameterization: A process for modeling domain descriptions. ACM Trans. Softw. Eng. Methodol.\u00a018(2), 1\u201327 (2008)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"9_CR24","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, New York (2002)"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21640-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T20:01:02Z","timestamp":1741291262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21640-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783319981765","9783319981772"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21640-4_9","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2011]]}}}