Program

9:00-17:30

WS01 - ESPRE 2018
5th International Workshop on Evolving Security & Privacy Requirements Engineering

Detailed Program

(Some Downloads available)

9:00-12:30

T04
DT4RE: Design Thinking for Requirements Engineering

Detailed Program

(Download)

9:00-18:00

Industry Day

Detailed Programm

(Some Downloads available)

9:00-17:30

WS03 - RESACS'18
4th International Workshop on Requirements Engineering for Self-Adaptive, Collaborative, and Cyber Physical Systems

Detailed Program

(Some Downloads available)

9:00-12:30

T06
Agile Requirements Engineering with User Stories

Detailed Program

(Download)

9:00-17:30

WS06 - D4RE'18
1st International Workshop on Learning from other Disciplines for Requirements Engineering

Detailed Program

(Some Downloads available)

14:00-17:30

T02
Reconciling Requirements and Continuous Integration in an Agile Context

Detailed Program

(Download)

9:00-17:30

WS09 - MoDRE'18
8th International Model-Driven Requirements Engineering Workshop

Detailed Program

(Downloads)

9:00-17:30

WS11 - RE4SUSY'18
7th International Workshop on Requirements Engineering for Sustainable Systems

Detailed Program

(Some Downloads available)

9:00-17:30

WS12 - EmpirRE'18
7th Workshop on Empirical Requirements Engineering

Detailed Program

Workshop Opening

Workshop Organizers:

• Kristian Beckers, (Siemens AG, Germany)
• Shamal Faily, (Bournemouth University, UK)
• Seok-Won Lee, (Ajou University, South Korea)
• Nancy Mead, (Carnegie Mellon Univesity, USA)

Keynote:

Dark Matter in Adaptive Security and Privacy Requirements

Yijun Yu
Open University

People and Systems

Towards the Design of Usable Privacy by Design Methodologies

Argyri Pattakou, Aikaterini-Georgia Mavroeidi, Christos Kalloniatis, Vasiliki Diamantopoulou and Stefanos Gritzalis (University of the Aegean, Greece)

The Importance of Empathy for Analyzing Privacy Requirements

Meira Levy (Shenkar - Engineering. Design. Art, Israel) and Irit Hadar (University of Haifa, Israel)

Assessing System of Systems Security Risk and Requirements with OASoSIS

Duncan Ki-Aries, Shamal Faily, Huseyin Dogan (Bournemouth University, UK) and Christopher Williams (Defence Science & Technology Laboratory, UK)

Privacy by Design and Lightning Talks

Tool-supporting Data Protection Impact Assessments with CAIRIS

Joshua Coles, Shamal Faily and Duncan Ki-Aries (Bournemouth University, UK)

Privacy Consistency Analyzer for Android Applications

Sayan Maitra, Bohyun Suh and Sepideh Ghanavati (Texas Tech University, USA)

Lightning Talks

Use case ontology for eliciting security requirements
(Imano Williams)

The role of organizational climate in security and privacy requirements engineering
(Irit Haider)

Security as a Behaviour: Potential for Persuasive Technology
(Raian Ali, John McAlaney)

The role of usability in security and privacy in Information Systems within the GDPR era
(Vasiliki Diamantopoulou)

The CAIRIS web API
(Duncan Ki-Aries)

Keynote:

Modeling Security and Privacy Requirements to Enable Test Automation

Lionel Briand
University of Luxembourg

Welcome and Introduction

Workshop Oranizers:

• Bastian Tenbergen, (State University of New York at Oswego, USA)
• Marian Daun, (University of Duisburg-Essen, Germany)
• Cristina Palomares,(Universitat Politècnica de Catalunya, Spain)
• Alessia Knauss, (Autoliv Research)
• Frederik Diederichs, (Fraunhofer IAO, Germany)

Keynote:

Engineering Adaptive Cyber Physical Systems

Hausi Müller
University of Victoria

Session 1:

Deriving Functional Safety Requirements using Undesired Combination State Templates.
D. Aceituna, K. Madala, and H. Do

Non-Functional Requirements Trade-Off in Self-Adaptive Systems.
A. Saeed and S.-W. Lee

A Requirements-based Approach for the Evaluation of Emulated IoT Systems.
A. O. Portillo-Dominguez and V. Ayala-Rivera

Guest Paper from the 1st Intl. Workshop on Requirements for the Internet of Things, edited by A. Massey and S. Ghanavati

Session 2:

Reqvision: Digitizing Your Analog Notes into Readable and Editable Data.
N. Mannov, C. Lüders, and A. Kaznin

Requirements for a Flexible and Generic API Enabling Mobile Crowdsensing mHealth Applications.
R. Pryss, J. Schobel, and M. Reichert

AirborneCPS: A Simulator for Functional Dependencies in Cyber Physical Systems – A Traffic Collision Avoidance System Implementation.
W. Cook; A. Driscoll, and B. Tenbergen

Session 3:

A Knowledge Acquisition Approach for Off-Nominal Behaviors.
K. Madala, H. Do, and D. Aceituna

Towards Context- Aware Process Guidance in Cyber Physical Systems with Augmented Reality.

Extra Discussions & Workshop Closing

Workshop Opening

Workshop Organizers:

• Anne Hess, (Fraunhofer IESE, Kaiserslautern, Germany)
• Marcus Trapp, (Fraunhofer IESE, Kaiserslautern, Germany)
• Kim Lauenroth, (adesso AG, Dortmund, Germany)

The first opening session is intended to give an introduction to the workshop participants and to provide the participants with the chance to introduce themselves and share their expectations for the workshop. Furthermore, an opening talk entitled “Ideas Made of Steal” will be given by one of the organizers (Marcus Trapp). In this talk, lots of illustrative real-world examples will be presented in an entertaining way, showing that successful and innovative ideas and products of famous artists, scientists, etc. have actually been “stolen” but adapted by others. The overall key message of the talk is to encourage people to look at others’ work, steal existing ideas BUT add something new to these “stolen ideas”.

Presentations:

11:00 – 11:05 Multidisciplinary Requirements Engineering for Addressing Social-Oriented Concerns.
Meira Levy and Irit Hadar

11:05 – 11:10 Holistic Requirements for Interdisciplinary Development Processes.
Christopher Lankeit, Jan Michael, Christian Henke and Ansgar Trächtler

11:10 – 11:15 What Requirements Engineering can Learn from Process Mining.
Mahdi Ghasemi

11:15 – 11:20 Automating Requirements Traceability: Two Decades of Learning from KDD.
Alex Dekhtyar and Jane Hayes

11:20 – 11:25 On the use of Financial Valuation Techniques in Requirements Engineering.
Marcin Ocieszak, Krzysztof Wnuk and David Callele

11:25 – 11:30 Software Professionals are No Directors: What Constitutes a Good Video?
Oliver Karras and Kurt Schneider

11:30 – 11:35 About Auteuring Requirements- Lessons from Filmmaking.
Richa Sharma and Smita Ghaisas

11:35 – 11:40 Improving Requirements Elicitation through Listening Research.
Zachary J. Oster

11:40 – 11:45 Freud, Kierkegaard, and Gamification in RE.
Natalia Mannov

11:45 – 12:30 Introduction to breakout session (by organizers)

Breakout:

Breakout continued:

&

Wrap-up

Workshop Opening

Workshop Oranizers:

• Ana Moreira, (Universidade Nova de Lisboa, Portugal)
• Gunter Mussbacher, (McGill University, Canada)
• João Araújo, (Universidade Nova de Lisboa, Portugal)
• Pablo Sánchez, (Universidad de Cantabria, Spain)

State-Based Modeling

(Paper #1)

(9:10-9:40)

Modelling and Testing Requirements via Executable Abstract State Machines
Jonathan S. Ostroff and Chen-Wei Wang

presented by Chen-Wei Wang (30min including Q/A; discussant: Ali Abbassi)

(Paper #2)

(9:40-10:10)

A Comparison of the Declarative Modelling Languages B, Dash, and TLA+
Ali Abbassi, Amin Bandali, Nancy Day, and Jose Serna

presented by Ali Abbassi (30min including Q/A; discussant: Chen-Wei Wang)

Short Paper on Feature-Based Modeling

Model Driven Software Reconfiguration by Exploiting Grammar Based Genetic Programming

Denisse Muñante, Fitsum Meshesha Kifetew, Jesús Gorroñogoitia, Ronnie Schaniel, Anna Perini, and Angelo Susi

presented by Anna Perini (20min including Q/A; discussant: Karan Singh Hundal)

Elicitation

Model-Based Development with Distributed Cognition
Karan Singh Hundal and Gunter Mussbacher

presented by Karan Singh Hundal (30min including Q/A; discussant: Anna Perini)

Keynote:

The Prevalence of Code Over Models: Turning it Around With Transparency

Julio Cesar Leite

Departamento de Informática at PUC-Rio

Scenario & Goal-Oriented Modeling

Domain-Specific Software Language for Crisis Management Systems
Nadin Bou Khzam and Gunter Mussbacher

presented by Nadin Bou Khzam (30min including Q/A; discussant: Mounifah Alenazi)

Using Obstacle Analysis to Support SysML-Based Model Testing for Cyber Physical Systems
Mounifah Alenazi, Nan Niu, Wentao Wang, and Juha Savolainen

presented by Mounifah Alenazi (30min including Q/A; discussant: Sepideh Ghanavati)

The FOL-based Legal-GRL (FLG) Framework: Towards an Automated Goal Modeling Approach for Regulations
Amin Rabinia and Sepideh Ghanavati

presented by Sepideh Ghanavati (30min including Q/A; discussant: Nadin Bou Khzam)

Short Papers on Goals, Patterns, and Decision Making

Towards Multi-context Goal Modeling and Analysis with the Help of Intents
Magnus Wilson and Krzysztof Wnuk

presented by Krzysztof Wnuk (20min including Q/A; discussant: Bert de Brock)

Towards pattern-driven requirements engineering: Development patterns for functional requirements
Bert de Brock

presented by Bert de Brock (20min including Q/A; discussant: Nelly Bencomo) 

Interacting Decision-making Agents and their Impacts on Assurances: Taxonomy and Challenges
Nelly Bencomo, Peter R. Lewis, and Sebastian Götz

presented by Nelly Bencomo (20min including Q/A; discussant: Krzysztof Wnuk)

Workshop Opening

Workshop Organizers:

• Ruzanna Chitchyan, (University of Bristol, UK)
• Colin Venters, (University of Huddersfield, UK)

If you Bill it, they will Pay: Energy Consumption in the Cloud will be Irrelevant Until Directly Billed For.
Abram Hindle

Towards Tool-support for Sustainability Profiling.
Ahmed Alharthi, Maria Spichkova and Margaret Hamilton

Karlskrona Manifesto: Software Requirement Engineering Good Practices.
Shola Oyedeji and Birgit Penzenstadler

An Exploration of Sustainability Thinking in Research Software Engineering.
Timo Kehrer and Birgit Penzenstadler

Public Policy Challenges: An RE Perspective.
David Callele, Birgit Penzenstadler and Krzysztof Wnuk

Workshop Opening

Workshop Organizers:

• Maya Daneva, (University of Twente, The Netherlands)
• Sabrina Marczak, (PUCRS University, Brazil)
• Eric Knauss, (Chalmers University of Gothenburg, Sweden)
• Nazim Madhavji, (University of Western Ontario, Canada)

Learnings and Laughs from 30 Years of Startups and Entrepreneurship

David Callele

Experience First Design Inc.

Creativity Techniques for Requirements Elicitation: Comparing Four-Step EPMcreate-Based Processes.
A. Herrmann, L. Mich, D. Berry

An Empirical Evaluation of the Requirements Engineering Tool for Sociotechnical Systems.
M. Mahunnah, K. Taveter, R. Matulevičius

Loud and Interactive Paper Prototyping in Requirements Elicitation: What is it Good for?
Z. Shakeri, S.-C. Lo, S. Moazzam, J. Kim, G. Lan, E. Frroku

Parsing Crowd Requirements: An Experience Report.
J. A. Khan, L. Liu, Y. Jia, L. Wen

Reflections on running large-scale empirical studies in international settings: some early lessons learned.

Xavier Franch

Universitat Politècnica de Catalunya

Tutorial Opening

Tutorial Presenters:

• Jennifer Hehn
• Falk Uebernickel and
• Daniel Méndez

This tutorial presents Design Thinking as a promising approach to creatively elicit human-centered requirements for software-intensive systems. Specifically, it contributes to Requirements Engineering practices by structuring the fuzzy process of developing creative and innovative ideas. Addressing academics and practitioners alike, the tutorial provides a 3.5 hour hands-on introduction to Design Thinking and links it with the realm of Requirements Engineering. The tutorial should be seen as a forum for the interchange of experience and learnings from combining both approaches and should raise awareness for the importance of human-centered methods and experimentation in early phases of software engineering. After the tutorial, the participants will have access to all materials, templates, and methods on our website for further usage.

Tutorial Opening

Tutorial Presenters:

• Fabiano Dalpiaz and
• Sjaak Brinkkemper

90% of agile practitioners employ user stories for capturing requirements. Of these, 70% follow a simple template when creating user stories: "As a role, I want to action, so that beneefit". User stories' popularity among practitioners and simple yet strict structure make them ideal candidates for automatic reasoning based on natural language processing. In our research, we have found that circa 50% of real-world user stories contain easily preventable errors that sabotage their potential. To alleviate this problem, the presenters of this tutorial have created methods, theories and tools that support creating better user stories. In this tutorial, you will learn:
(1) The basics of creating user stories, and their use in requirements engineering;
(2) How to improve user story quality with the Quality User Story Framework and AQUSA tool; and
(3) How to generate conceptual models from user stories using the Visual Narrator and the Interactive Narrator tools.
Our toolset is demonstrated with results obtained from 20+ software companies employing user stories. At the end of this tutorial you will have the knowledge and resources to start applying user stories in your software development projects.

Tutorial Opening

Tutorial Presenters:

• Sébastien Mosser and
• Jean-Michel Bruel

This tutorial aims at exploring the boundaries between requirements, specifications, stories, scenarios and tests. Revisiting requirements elicitation and bridging the gap between traditional requirements engineering and modern software development (highly based on continuous integration and tests), this tutorial will demonstrate how to operationalize a fully-fledged tool chain going from user stories to automated acceptance testing using open-source tools. This is applicable to industrial practitioners as we will rely on state of the art tools, and link agile requirements to formal requirement engineering methods. We will first focus on the notion of user stories and epics to express user’s requirements, and how to evaluate such requirements based on “definition of ready” and “definition of done” acceptance criteria. We will then demonstrate how such requirements can be tracked in a project management tool, and linked to source code development. At the source code level, we will demonstrate how the stories and the associated acceptance scenarios can be modeled using the Gherkin language, and linked to classical unit tests to automate their validation. Finally, a continuous integration environment will be deployed using Docker to link together the different tools and offer an automated pipeline for software developers, bridging the gap between requirements and code development.

Please Note: Participants are required to have "Docker" installed (https://docs.docker.com/).

During this tutorial, participants will develop some simple exercises using Java and classical continuous integration tools. We kindly ask potential participants to have a look at the following webpage (https://github.com/mosser/agile-tutorial/blob/master/tutorial/_preparation.md) and prepare their computer. In case of need, do not hesitate to contact us (mosser@i3s.unice.fr).

Navigating Requirements Ambiguity and Volatility - One Step at a Time
Summary

Requirements Engineering: Precepts, Practices, and Cosmic Truths
Summary

Agility in Requirements in an Increasingly Complex World
Summary

Elena Gallego

The Reuse Company

Enhancing SE Activities with a Global KM Approach

Summary

Microsoft’s Datacenter Community Development Initiative: How Does Shared Value Create Shared Benefits? Gathering Requirements for Community and Business Outcomes
Summary

Practitioners' Perception of RE Research Relevance
Summary

Blockchain in Oil and Gas
Summary

WestJet

A Picture is Worth a Thousand Words
Summary

Design Thinking for Requirements Engineering
Summary