{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T21:16:05Z","timestamp":1783545365785,"version":"3.55.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032262196","type":"print"},{"value":"9783032262202","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T00:00:00Z","timestamp":1779062400000},"content-version":"vor","delay-in-days":137,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Autonomous agents are increasingly deployed in sensitive, human-centric domains\u2014such as healthcare, assistive care, and emergency response\u2014where their decision-making must align with complex human norms. These translate into Social, Legal, Ethical, Empathetic, and Cultural (SLEEC) requirements that are often nuanced and context-dependent, challenging traditional software engineering paradigms. Our tutorial paper presents a comprehensive, tool-supported methodology for managing the SLEEC requirements lifecycle, covering elicitation, well-formedness validation, and conformance verification of software design models against SLEEC requirements. We demonstrate the use of our methodology and associated tools through application to a robot-assisted dressing system, providing a guide for researchers and engineers to bridge the gap between abstract human norms and verifiable system designs.<\/jats:p>","DOI":"10.1007\/978-3-032-26220-2_24","type":"book-chapter","created":{"date-parts":[[2026,5,17]],"date-time":"2026-05-17T13:19:42Z","timestamp":1779023982000},"page":"497-523","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The SLEEC Framework for Normative Requirements Engineering"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4319-4872","authenticated-orcid":false,"given":"Pedro","family":"Ribeiro","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2678-9260","authenticated-orcid":false,"given":"Radu","family":"Calinescu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0831-1976","authenticated-orcid":false,"given":"Ana","family":"Cavalcanti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6301-3517","authenticated-orcid":false,"given":"Marsha","family":"Chechik","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3944-6574","authenticated-orcid":false,"given":"Sinem","family":"Getir Yaman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0220-191X","authenticated-orcid":false,"given":"Lina","family":"Marsso","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-0486-3778","authenticated-orcid":false,"given":"Isobel","family":"Standen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8486-6041","authenticated-orcid":false,"given":"Beverley","family":"Townsend","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,5,18]]},"reference":[{"issue":"2","key":"24_CR1","first-page":"457","volume":"5","author":"N Alechina","year":"2018","unstructured":"Alechina, N., Dastani, M., Logan, B.: Norm specification and verification in multi-agent systems. J. Appl. Logics 5(2), 457\u2013489 (2018)","journal-title":"J. Appl. Logics"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Assadi, Z., Inverardi, P.: Fuzzy representation of norms (2026). https:\/\/arxiv.org\/abs\/2601.04249","DOI":"10.2139\/ssrn.6026174"},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s00236-020-00394-3","volume":"59","author":"J Baxter","year":"2022","unstructured":"Baxter, J., Ribeiro, P., Cavalcanti, A.L.C.: Sound reasoning in tock-CSP. Acta Informatica 59, 125\u2013162 (2022). https:\/\/doi.org\/10.1007\/s00236-020-00394-3","journal-title":"Acta Informatica"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Boltz, N., Getir Yaman, S., Inverardi, P., de\u00a0Lemos, R., Landuyt, D.V., Zisman, A.: Human empowerment in self-adaptive socio-technical systems. In: SEAMS\u201924, pp. 200\u2013206. ACM (2024)","DOI":"10.1145\/3643915.3644082"},{"issue":"1","key":"24_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1093\/pq\/pqab013","volume":"72","author":"J Brunero","year":"2021","unstructured":"Brunero, J.: Reasons and defeasible reasoning. Philos. Q. 72(1), 41\u201364 (2021). https:\/\/doi.org\/10.1093\/pq\/pqab013","journal-title":"Philos. Q."},{"key":"24_CR6","unstructured":"European Union: Regulation (EU) 2024\/1689 of the European Parliament and of the Council of 13 June 2024 laying down harmonised rules on artificial intelligence (Artificial Intelligence Act). Official Journal of the European Union L 2024\/1689 (2024). http:\/\/data.europa.eu\/eli\/reg\/2024\/1689\/oj"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Feng, N., et\u00a0al.: Analyzing and debugging normative requirements via satisfiability checking. In: 46th IEEE\/ACM International Conference on Software Engineering, pp. 1\u201312 (2024)","DOI":"10.1145\/3597503.3639093"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Feng, N., Marsso, L., Sabetzadeh, M., Chechik, M.: Early verification of legal compliance via bounded satisfiability checking. In: Proceedings of the 34th International Conference on Computer Aided Verification (CAV\u201923). LNCS, Springer (2023)","DOI":"10.1007\/978-3-031-37709-9_18"},{"key":"24_CR9","doi-asserted-by":"publisher","unstructured":"Feng, N., et al.: Normative requirements operationalization with large language models. In: 32nd IEEE International Requirements Engineering Conference, pp. 129\u2013141 (2024). https:\/\/doi.org\/10.1109\/RE59067.2024.00022","DOI":"10.1109\/RE59067.2024.00022"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Feng, N., et al.: Towards a formal framework for normative requirements elicitation. In: 2023 38th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 1776\u20131780. IEEE (2023)","DOI":"10.1109\/ASE56229.2023.00152"},{"key":"24_CR11","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2024.103118","volume":"236","author":"S Getir Yaman","year":"2024","unstructured":"Getir Yaman, S., Ribeiro, P., Burholt, C., Jones, M., Cavalcanti, A., Calinescu, R.: Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. Sci. Comput. Program. 236, 103118 (2024)","journal-title":"Sci. Comput. Program."},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Gibson-Robinson, T., Armstrong, P., Boulgakov, A., Roscoe, A.: FDR3 \u2014 a modern refinement checker for CSP. In: \u00c1brah\u00e1m, E., Havelund, K. (eds.) Tools and Algorithms for the Construction and Analysis of Systems. LNCS, vol.\u00a08413, pp. 187\u2013201 (2014)","DOI":"10.1007\/978-3-642-54862-8_13"},{"issue":"3","key":"24_CR13","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1007\/s10796-015-9558-1","volume":"18","author":"M Hashmi","year":"2016","unstructured":"Hashmi, M., Governatori, G., Wynn, M.T.: Normative requirements for regulatory compliance: an abstract formal framework. Inf. Syst. Front. 18(3), 429\u2013455 (2016)","journal-title":"Inf. Syst. Front."},{"key":"24_CR14","unstructured":"IEEE Standard 7000\/2021: Model Process for Addressing Ethical Concerns during System Design (2021). https:\/\/ieeexplore.ieee.org\/document\/9536679"},{"key":"24_CR15","doi-asserted-by":"publisher","unstructured":"Inverardi, P.: The challenge of human dignity in the era of autonomous systems. In: Werthner, H., Prem, E., Lee, E.A., Ghezzi, C. (eds.) Perspectives on Digital Humanism, pp. 25\u201329. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-030-86144-5_4","DOI":"10.1007\/978-3-030-86144-5_4"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Kleijwegt, A., Getir Yaman, S., Calinescu, R.: Tool for supporting debugging and understanding of normative requirements using LLMs. In: 33rd IEEE International Requirements Engineering Conference, pp. 576\u2013579. IEEE (2025)","DOI":"10.1109\/RE63999.2025.00068"},{"key":"24_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10270-018-00710-z","volume":"18","author":"A Miyazawa","year":"2019","unstructured":"Miyazawa, A., Ribeiro, P., Li, W., Cavalcanti, A., Timmis, J., Woodcock, J.: RoboChart: modelling and verification of the functional behaviour of robotic applications. Softw. Syst. Model. 18, 1\u201353 (2019). https:\/\/doi.org\/10.1007\/s10270-018-00710-z","journal-title":"Softw. Syst. Model."},{"key":"24_CR18","doi-asserted-by":"publisher","unstructured":"Roscoe, A.W.: Understanding Concurrent Systems. Texts in Computer Science, Springer (2011). https:\/\/doi.org\/10.1007\/978-1-84882-258-0","DOI":"10.1007\/978-1-84882-258-0"},{"issue":"1","key":"24_CR19","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1108\/JICES-12-2019-0138","volume":"19","author":"M Ryan","year":"2021","unstructured":"Ryan, M., Stahl, B.C.: Artificial intelligence ethics guidelines for developers and users: clarifying their content and normative implications. J. Inf. Commun. Ethics Soc. 19(1), 61\u201386 (2021)","journal-title":"J. Inf. Commun. Ethics Soc."},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Tana, C., et al.: Smart aging: integrating AI into elderly healthcare. BMC Geriatrics (2025). https:\/\/doi.org\/10.1186\/s12877-025-06723-w","DOI":"10.1186\/s12877-025-06723-w"},{"key":"24_CR21","doi-asserted-by":"publisher","DOI":"10.1016\/j.jrt.2025.100114","volume":"21","author":"B Townsend","year":"2025","unstructured":"Townsend, B., Parnell, K.J., Yaman, S.G., Nemirovsky, G., Calinescu, R.: Normative conflict resolution through human-autonomous agent interaction. J. Responsible Technol. 21, 100114 (2025). https:\/\/doi.org\/10.1016\/j.jrt.2025.100114","journal-title":"J. Responsible Technol."},{"issue":"4","key":"24_CR22","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1007\/s11023-022-09614-w","volume":"32","author":"B Townsend","year":"2022","unstructured":"Townsend, B., et al.: From pluralistic normative principles to autonomous-agent rules. Mind. Mach. 32(4), 683\u2013715 (2022)","journal-title":"Mind. Mach."},{"issue":"20","key":"24_CR23","doi-asserted-by":"publisher","first-page":"22385","DOI":"10.1609\/aaai.v38i20.30245","volume":"38","author":"N Troquard","year":"2024","unstructured":"Troquard, N., De Sanctis, M., Inverardi, P., Pelliccione, P., Scoccia, G.L.: Social, legal, ethical, empathetic, and cultural rules: compilation and reasoning. Proc. AAAI Conf. Artif. Intell. 38(20), 22385\u201322392 (2024). https:\/\/doi.org\/10.1609\/aaai.v38i20.30245","journal-title":"Proc. AAAI Conf. Artif. Intell."},{"key":"24_CR24","unstructured":"UNESCO: Recommendation on the Ethics of Artificial Intelligence (2021). https:\/\/unesdoc.unesco.org\/ark:\/48223\/pf0000380455"},{"key":"24_CR25","doi-asserted-by":"publisher","DOI":"10.1016\/J.JSS.2024.112229","volume":"220","author":"SG Yaman","year":"2025","unstructured":"Yaman, S.G., Ribeiro, P., Cavalcanti, A., Calinescu, R., Paterson, C., Townsend, B.A.: Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. J. Syst. Softw. 220, 112229 (2025). https:\/\/doi.org\/10.1016\/J.JSS.2024.112229","journal-title":"J. Syst. Softw."},{"key":"24_CR26","doi-asserted-by":"publisher","first-page":"1906","DOI":"10.1109\/TRO.2024.3366008","volume":"40","author":"J Zhu","year":"2024","unstructured":"Zhu, J., Gienger, M., Franzese, G., Kober, J.: Do you need a hand? \u2013 a bimanual robotic dressing assistance scheme. IEEE Trans. Rob. 40, 1906\u20131919 (2024). https:\/\/doi.org\/10.1109\/TRO.2024.3366008","journal-title":"IEEE Trans. Rob."}],"container-title":["Lecture Notes in Computer Science","Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-26220-2_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T20:30:12Z","timestamp":1783542612000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-26220-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032262196","9783032262202"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-26220-2_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"18 May 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tokyo","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":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 May 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 May 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fm2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/fm-2026","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}