Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

The 6th Overture Workshop

This workshop was organised at the University of Newcastle in the UK and took place between 7-8 May 2009. The overall theme of this workshop was to exercise different aspects of developing software for the Overture open source platform on top of Eclipse. In order to compile the Overture executables different steps need to be taken to produce subprojects without the Eclipse interface or with the Eclipse interface. The aspects that will be covered included:


7th May

8th May

Action list

During the workshop we came up with a list of outstanding issues that needs attension (in brackets the responsible persons are listed):


![ 700px](GroupPicture6workshop.gif “ 700px”)