OVT 17: 17TH OVERTURE WORKSHOP
PROGRAM
Monday, October 7th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 1

Opening of the 17th Overture Workshop and invited talk by Ana Paiva

09:00
Workshop Opening (abstract)
09:15
Teaching VDM (abstract)
10:00-10:30Coffee Break
10:30-12:30 Session 2
10:30
ViennaDoc: An Animatable and Testable Specification Documentation Tool (abstract)
11:00
Migrating Overture to a different IDE (abstract)
11:30
Moving the INTO-CPS Application to the Cloud (abstract)
12:00
Towards Graphical Configuration in the INTO-CPS Application (abstract)
12:30-14:00Lunch Break
14:00-15:00 Session 3
14:00
Towards Static Check of FMUs in VDM-SL (abstract)
14:30
Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation (abstract)
15:00-15:30Coffee Break
15:30-16:10 Session 4
15:30
Workshop Wrap-up (abstract)
15:50
Building System Identified FMUs using VDM-RT (abstract)