ASE 2023
Mon 11 - Fri 15 September 2023 Kirchberg, Luxembourg
Fri 15 Sep 2023 08:30 - 10:00 at Room DE - Requirements
Fri 15 Sep 2023 10:30 - 12:00 at Room DE - Requirements

A new class of requirements is of growing importance for many software systems. In applications ranging from assistive care to emergency management, software systems perform operations and make decisions that must comply with the social, legal, ethical, empathetic and cultural (SLEEC) norms of their users. For example, the control software of an assistive-care robot must consider its users’ well-being, privacy and autonomy needs. As another example, a software personal assistant must exhibit cultural sensitivity when addressing its users, and must seek user consent prior to sharing certain types of personal information. In this tutorial, we will present a tool-supported methodology for the elicitation, formalisation, consistency validation, and verification of these SLEEC requirements, using interactive exercises to demonstrate its application to software systems from domains such as assistive care and emergency management.

Tutorial slides - Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to Verification (ASE 2023 SLEEC framework tutorial - for distribution.pdf)11.54MiB

Fri 15 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00
Requirements Tutorials at Room DE
08:30
90m
Talk
Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to Verification
Tutorials
Sinem Getir Yaman University of York, UK, Ana Cavalcanti University of York, Radu Calinescu University of York, UK, Beverley Townsend University of York
File Attached
10:30 - 12:00
Requirements Tutorials at Room DE
10:30
90m
Talk
Social, Legal, Ethical, Empathetic and Cultural Requirements: from Elicitation to Verification
Tutorials
Sinem Getir Yaman University of York, UK, Ana Cavalcanti University of York, Radu Calinescu University of York, UK, Beverley Townsend University of York
File Attached