{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T12:06:03Z","timestamp":1767182763340,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031423062"},{"type":"electronic","value":"9783031423079"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-42307-9_23","type":"book-chapter","created":{"date-parts":[[2023,8,29]],"date-time":"2023-08-29T04:03:15Z","timestamp":1693281795000},"page":"329-342","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Requirements Engineering for Cyber-Physical Products"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8257-825X","authenticated-orcid":false,"given":"Thomas","family":"Fehlmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5422-9973","authenticated-orcid":false,"given":"Eberhard","family":"Kranich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,8,30]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Barendregt, H.P.: The type-free lambda-calculus. In: Barwise, J. (ed.) Handbook of Mathematical Logic, vol. 90, pp. 1091\u20131132. Amsterdam, North Holland (1977)","key":"23_CR1","DOI":"10.1016\/S0049-237X(08)71129-7"},{"unstructured":"Butler, S. (ed.): Homer, The Iliad, vol. 18. New York and Bombay: Longmans, Green and Co., London (1898)","key":"23_CR2"},{"key":"23_CR3","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/BF02483849","volume":"13","author":"E Engeler","year":"1981","unstructured":"Engeler, E.: Algebras and combinators. Algebra Universalis 13, 389\u2013392 (1981)","journal-title":"Algebra Universalis"},{"unstructured":"Fehlmann, T.M., Kranich, E.: A general model for representing knowledge - intelligent systems using concepts (2023, preprint). https:\/\/web.tresorit.com\/l\/mCAQY#ALX3kSa3fAifnE0lB5Na6w. Accessed 16 June 2023","key":"23_CR4"},{"key":"23_CR5","volume-title":"Introduction to Lambda Calculus","author":"H Barendregt","year":"2000","unstructured":"Barendregt, H., Barendsen, E.: Introduction to Lambda Calculus. University Nijmegen, Nijmegen (2000)"},{"issue":"2","key":"23_CR6","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1112\/plms\/s2-42.1.230","volume":"42","author":"A Turing","year":"1937","unstructured":"Turing, A.: On computable numbers, with an application to the Entscheidungsproblem. Proc. Lond. Math. Soc. 42(2), 230\u2013265 (1937)","journal-title":"Proc. Lond. Math. Soc."},{"key":"23_CR7","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1016\/j.tcs.2019.03.038","volume":"777","author":"E Engeler","year":"2019","unstructured":"Engeler, E.: Neural algebra on \u201chow does the brain think?\u201d Theoret. Comput. Sci. 777, 296\u2013307 (2019)","journal-title":"Theoret. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Engeler, E.: The Combinatory Programme. Birkh\u00e4user, Basel, Switzerland (1995)","key":"23_CR8","DOI":"10.1007\/978-1-4612-4268-0"},{"unstructured":"Ganguli, D., et al.: The capacity for moral self-correction in large language models. arXiv:2302.07459 [cs.CL]. Cornell University (2023)","key":"23_CR9"},{"doi-asserted-by":"crossref","unstructured":"Parrish, A., et al.: BBQ a hand-built bias benchmark for question answering. arXiv:2110.08193 [cs.CL]. Cornell University (2021)","key":"23_CR10","DOI":"10.18653\/v1\/2022.findings-acl.165"},{"issue":"5","key":"23_CR11","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1002\/smr.502","volume":"24","author":"M Korsaa","year":"2012","unstructured":"Korsaa, M., et al.: The SPI manifesto and the ECQA SPI manager certification scheme. J. Softw. Evol. Process 24(5), 525\u2013540 (2012)","journal-title":"J. Softw. Evol. Process"},{"unstructured":"Zhong, V., Mu, J., Zettlemoyer, L., Grefenstette, E., Rockt\u00e4schel, T.: Improving policy learning via language dynamics distillation. arXiv:2210.00066v1 [cs.LG]. Cornell University (2022)","key":"23_CR12"},{"unstructured":"Pfeifer, R.: Lab42, Mindfire AG, Pf\u00e4ffikon (2023). https:\/\/lab42.global\/. Accessed 22 Feb 2023","key":"23_CR13"},{"unstructured":"Chollet, F.: On the measure of intelligence. arXiv:1911.01547 [cs.AI]. Cornell University (2019)","key":"23_CR14"},{"key":"23_CR15","volume-title":"Managing Complexity \u2013 Uncover the Mysteries with Six Sigma Transfer Functions","author":"TM Fehlmann","year":"2016","unstructured":"Fehlmann, T.M.: Managing Complexity \u2013 Uncover the Mysteries with Six Sigma Transfer Functions. Logos Press, Berlin, Germany (2016)"},{"unstructured":"ISO\/IEC 19761: Software engineering - COSMIC: a functional size measurement method, ISO\/IEC JTC 1\/SC 7, Geneva, Switzerland (2019)","key":"23_CR16"},{"unstructured":"ISO\/IEC 14143: Information technology - Software measurement - Functional size measurement - Part 1: Definition of concepts, ISO\/IEC JTC 1\/SC 7, Geneva, Switzerland (2019)","key":"23_CR17"},{"unstructured":"ISO 16355: Applications of Statistical and Related Methods to New Technology and Product Development Process \u2013 Part 1: General Principles and Perspectives of Quality Function Deployment (QFD), ISO TC 69\/SC 8\/WG 2 N 14, Geneva, Switzerland (2021)","key":"23_CR18"},{"doi-asserted-by":"publisher","unstructured":"Fehlmann, T.M., Kranich, E.: Designing and testing cyber-physical products - 4th generation product management based on AHP and QFD, systems, software and services process improvement. In: Yilmaz, M., Messnarz, C.P.R., W\u00f6ran, B. (eds.) EuroSPI 2022, Salzburg: Communications in Computer and Information Science, vol. 1646. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-15559-8_26","key":"23_CR19","DOI":"10.1007\/978-3-031-15559-8_26"},{"key":"23_CR20","volume-title":"Autonomous Real-time Testing \u2013 Testing Artificial Intelligence and Other Complex Systems, Berlin","author":"TM Fehlmann","year":"2020","unstructured":"Fehlmann, T.M.: Autonomous Real-time Testing \u2013 Testing Artificial Intelligence and Other Complex Systems, Berlin. Logos Press, Berlin, Germany (2020)"}],"container-title":["Communications in Computer and Information Science","Systems, Software and Services Process Improvement"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-42307-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,29]],"date-time":"2023-08-29T04:07:16Z","timestamp":1693282036000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-42307-9_23"}},"subtitle":["Software Process Improvement for Intelligent Systems"],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031423062","9783031423079"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-42307-9_23","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"30 August 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EuroSPI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Software Process Improvement","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Grenoble","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 August 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"eurospi2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conference.eurospi.net\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Open","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"conference website","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"100","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}