A Natural Language Processing Technique for Formalization of Systems Requirement Specifications (Requirements Engineering 2021 - Workshops)

Who

Viktoria Koscinski, Celeste Gambardella, Estey Gerstner, Mark Zappavigna, Jennifer Cassetti, Mehdi Mirakhorli

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

Save

When

Tue 21 Sep 2021 10:00 - 10:25 at Fitzpatrick-8 - Workshop: FormReq

Viktoria Koscinski

Rochester Institute of Technology

Celeste Gambardella

Rochester Institute of Technology

Estey Gerstner

Rochester Institute of Technology

Mark Zappavigna

Air Force Research Laboratory

Jennifer Cassetti

Air Force Research Laboratory

Mehdi Mirakhorli

Rochester Institute of Technology

United States

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

Display full programSpecify a time band

Save

Session Program

Tue 21 Sep
Displayed time zone: Eastern Time (US & Canada) change

08:00 - 12:00	Workshop: FormReqWorkshops at Fitzpatrick-8 Formal Requirements Go to midspace (Zoom Rooms for tutorials are linked there)

08:00 15m Day opening		Opening and Wellcome Workshops
08:15 75m Keynote		Keynote by Panagiotis Katsaros from Aristotle University of Thessaloniki: Formalisation and analysis of natural language system requirements Workshops
09:30 30m Break		Break Workshops
10:00 25m Talk		A Natural Language Processing Technique for Formalization of Systems Requirement Specifications Workshops Viktoria Koscinski Rochester Institute of Technology, Celeste Gambardella Rochester Institute of Technology, Estey Gerstner Rochester Institute of Technology, Mark Zappavigna Air Force Research Laboratory, Jennifer Cassetti Air Force Research Laboratory, Mehdi Mirakhorli Rochester Institute of Technology
10:25 25m Talk		Security requirements classification into groups using NLP Transformers Workshops Vasily Varenov Innopolis Universily, Aydar Gabdrahmanov Innopolis Universily
10:50 25m Talk		Security Requirements as Code: Example from VeriDevOps Project Workshops Alexandr Naumchev Schaffhausen Institute of Technology, Andrey Sadovykh Softeam, Khaled Ismaeel Innopolis University, Dragos Truscan Åbo Akademi University, Eduard Paul Enoiu Mälardalen University, Cristina Seceleanu Mälardalen University
11:15 30m Talk		Survey and Consistency Checking of Formal Requirements Animations Workshops Christophe Ponsard CETIC, Jean-Christophe Deprez CETIC
11:45 15m Day closing		Wrap-up and closure Workshops