Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems (Requirements Engineering 2021 - Workshops) - Requirements Engineering 2021

Write a Blog >>

Mon 20 - Fri 24 September 2021

Who

Tamjid Hossain, Nancy Day

Track

Requirements Engineering 2021 Workshops

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Mon 20 Sep 2021 10:00 - 10:30 at Fitzpatrick-1 - Workshop: MoDRE

Tamjid Hossain

University of Waterloo

Nancy Day

University of Waterloo, Canada

Canada

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Mon 20 Sep
Displayed time zone: Eastern Time (US & Canada) change

	08:00 - 15:00	Workshop: MoDREWorkshops at Fitzpatrick-1 11th International Model-Driven Requirements Engineering Workshop

	08:00 15m Day opening		Opening and Welcome Workshops
	08:15 30m Talk		Model-based Method to Utilize a Catalogue of Quality Requirements in Software Development Workshops Lukas Strey Fraunhofer, Christian Hein Fraunhofer, Tom Ritter Fraunhofer
	08:45 22m Talk		Automated Glossary Extraction from Requirements Models Workshops Salih Göktuğ Köse Boğaziçi University, Fatma Başak Aydemir Boğaziçi University
	09:07 23m Talk		A Model-based Conceptualization of Requirements for Compliance Checking of Data Processing against GDPR Workshops Orlando Amaral University of Luxembourg, Sallam Abualhaija University of Luxembourg, Mehrdad Sabetzadeh University of Ottawa, Lionel Briand University of Luxembourg; University of Ottawa
	09:30 30m Break		Break Workshops
	10:00 30m Talk		Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems Workshops Tamjid Hossain University of Waterloo, Nancy Day University of Waterloo, Canada
	10:30 30m Talk		Towards Efficient Use Case Modeling with Automated Domain Classification and Term Recommendation Workshops Zewen Qi Nanjing University of Aeronautics and Astronautics, Tiexin Wang Nanjing University of Aeronautics and Astronautics, Tao Yue Simula Research Laboratory
	11:00 30m Talk		Generating Sequence Diagrams from Natural Language Requirements Workshops Munima Jahan University of Calgary, Zahra Shakeri University of Calgary, Behrouz Far University of Calgary
	11:30 15m Break		Break Workshops
	11:45 70m Keynote		Resilience via socio-technical systems: Projecting sustainability impacts during RE Workshops Birgit Penzenstadler Chalmers
	12:55 5m Day closing		Wrap-up Workshops