Tutorial Announcement: Requirements in Structured Natural Language with FRET

Dr. Johann Schumann, a guest researcher from SGT/NASA, will give a tutorial on FRET (Formal Requirements Elicitation Tool), an-open source requirements formalization tool currently developed by NASA. The tutorial is planned for Thursday, January 23, 15:00 – 17:00 and Friday, January 24, 14:00 – 16:00 in the room MW 3618 (FSD Seminar Room). For a detailed abstract, please refer to the attached announcement.

Please register by contacting Julian Rhein.