{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T09:13:26Z","timestamp":1742980406538,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":18,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819616206"},{"type":"electronic","value":"9789819616213"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-981-96-1621-3_9","type":"book-chapter","created":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T08:15:18Z","timestamp":1740384918000},"page":"131-140","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Consistency Naming Between Requirements Analysis and Specifications"],"prefix":"10.1007","author":[{"given":"Fumiko","family":"Nagoya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,2,25]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Anquetil, N., Lethbridge, T.: Extracting concepts from file names: a new file clustering criterion. In: Proceedings of the 20th International Conference on Software Engineering (ICSE \u201898). IEEE Computer Society, USA, pp. 84\u201393 (1998)","DOI":"10.1109\/ICSE.1998.671105"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Caprile, B., Tonella, P.: Restructuring Program Identifier Names. In: Proceedings of the International Conference on Software Maintenance (ICSM\u201900) (ICSM \u201800). IEEE Computer Society, USA, 97 (2000)","DOI":"10.1109\/ICSM.2000.883022"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Furnas, G.W., Landauer, T.K., Gomez, L.M., Dumais, S.T.: The vocabulary problem in human-system communication. Commun. ACM 30, 11(1987), 964\u2013971 (1987)","DOI":"10.1145\/32206.32212"},{"issue":"01","key":"9_CR4","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/TSE.2020.2976920","volume":"48","author":"DG Feitelson","year":"2022","unstructured":"Feitelson, D.G., Mizrahi, A., Noy, N., Shabat, A.B., Eliyahu, O., Sheffer, R.: How Developers Choose Names. IEEE Trans. Software Eng. 48(01), 37\u201352 (2022)","journal-title":"IEEE Trans. Software Eng."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Deissenboeck, F., Pizka, M.: Concise and consistent naming. Software Quality J. 14(3), 261\u2013282 (2006)","DOI":"10.1007\/s11219-006-9219-1"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Gresta, R., Durelli, V., Cirilo, E.: Naming Practices in Java Projects: An Empirical Study. In Proceedings of the XX Brazilian Symposium on Software Quality. Association for Computing Machinery, New York, NY, USA, Article 10, pp. 1\u201310 (2021)","DOI":"10.1145\/3493244.3493258"},{"key":"9_CR7","unstructured":"McKinsey & Company, Economic potential of generative AI: The next productivity frontier, June 14, 2023 Report, https:\/\/www.mckinsey.com\/capabilities\/mckinsey-digital\/our-insights\/the-economic-potential-of-generative-ai-the-next-productivity-frontier. Accessed 5 Aug 2024"},{"key":"9_CR8","unstructured":"Hou, X., et al.: Large Language Models for Software Engineering: A Systematic Literature Review, arXiv preprint arXiv.2308.10620 (2024)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Meyer, B.: Handbook of Requirements and Business Analysis, Springer, 277 (2022)","DOI":"10.1007\/978-3-031-06739-6"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Kolthoff, K., Bartelt, C., Ponzetto, S.P.: Data-driven prototyping via natural-language-based GUI retrieval. Automated Software Engg. 30, 1 (2023)","DOI":"10.1007\/s10515-023-00377-x"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Liu, S.: Formal Engineering for Industrial Software Development. SpringerVerlag (2004)","DOI":"10.1007\/978-3-662-07287-5"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Liu, S.: Agile-SOFL: Agile Formal Engineering Method Springer Singapore (2024)","DOI":"10.1007\/978-981-97-2285-3"},{"key":"9_CR13","unstructured":"Maurya, A.: Running Lean: Iterate from Plan A to a Plan That Works (2nd. ed.). O\u2019Reilly Media, Inc. (2012)"},{"key":"9_CR14","volume-title":"Software Requirements 3","author":"KE Wiegers","year":"2013","unstructured":"Wiegers, K.E., Beatty, J.: Software Requirements 3. Microsoft Press, USA (2013)"},{"key":"9_CR15","first-page":"409","volume-title":"Structured analysis and system specification","author":"T DeMarco","year":"1979","unstructured":"DeMarco, T.: Structured analysis and system specification, pp. 409\u2013424. Classics in software engineering. Yourdon Press, USA (1979)"},{"key":"9_CR16","unstructured":"Jones, C.B.: Systematic software development using VDM. Prentice Hall International (UK) Ltd., GBR (1986)"},{"key":"9_CR17","first-page":"1","volume-title":"Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets","author":"W Reisig","year":"1996","unstructured":"Reisig, W., Rozenberg, G.: Informal Introduction to Petri Nets. In: Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, pp. 1\u201311. Springer-Verlag, Berlin, Heidelberg (1996)"},{"key":"9_CR18","first-page":"23","volume-title":"Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021","author":"F Nagoya","year":"2020","unstructured":"Nagoya, F.: A Case Study on Combining Agile Requirements Development and SOFL. In: Structured Object-Oriented Formal Language and Method: 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, pp. 23\u201333. Revised Selected Papers. Springer-Verlag, Berlin, Heidelberg (2020)"}],"container-title":["Lecture Notes in Computer Science","Software Fault Prevention, Verification, and Validation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-96-1621-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T08:15:30Z","timestamp":1740384930000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-96-1621-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9789819616206","9789819616213"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-981-96-1621-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"25 February 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SFPVV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Software Fault Prevention, Verification, and Validation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hiroshima","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sfpvv2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}