UnCoVerCPS meeting on conformance checking at Bosch
Date: Mar 12, 2015 3:00 am – Mar 12, 2015 10:00 am
~9-11: 1. Teil
11-12: Pause / Gespräch Althoff / Lasarczyk (BOSP)
12-13 Uhr: Mittagessen
13-16 Uhr: 2. Teil
Grobe Agenda: 1) Modeling steps in UnCoVerCPS (Text/Bilder Matthias W.) 2) Goals of conformance testing: Bridging / Checking the gap 3) Scope of Task 1.3: Which topics/research questions do we want to cover? 4) Application examples in task 1.3 / Model exchange 5) Planning (applications / survey)
Submitted by Matthias Althoff
on
Date: Mar 12, 2015 3:00 am – Mar 12, 2015 10:00 am
~9-11: 1. Teil
11-12: Pause / Gespräch Althoff / Lasarczyk (BOSP)
12-13 Uhr: Mittagessen
13-16 Uhr: 2. Teil
Grobe Agenda: 1) Modeling steps in UnCoVerCPS (Text/Bilder Matthias W.) 2) Goals of conformance testing: Bridging / Checking the gap 3) Scope of Task 1.3: Which topics/research questions do we want to cover? 4) Application examples in task 1.3 / Model exchange 5) Planning (applications / survey)
Submitted by Matthias Althoff
on