no description available

Nick Feng

University of Toronto

Lina Marsso

University of Toronto

Canada

Sinem Getir Yaman

University of York, UK

United Kingdom

Beverley Townsend

University of York

Ana Cavalcanti

University of York

United Kingdom

Radu Calinescu

University of York, UK

United Kingdom

Marsha Chechik

University of Toronto

Canada

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.

Sinem Getir Yaman

University of York, UK

United Kingdom

Ana Cavalcanti

University of York

United Kingdom

Radu Calinescu

University of York, UK

United Kingdom

Beverley Townsend

University of York