Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 48

   
Date 28 November 2010, 1300 CET
Participants Peter Gorm Larsen, Hiroshi Sako, Shin Sahara, Kenneth Lausdahl, Nick Battle, Ken Pierce, David Møller, Sune Wolff and Augusto Ribeiro

Review of Action List

VDMTools

See detailed report of Shin Sahara (sent to the overture-core mailing list) for the latest on VDMTools from Japan.

LB elections

John Fitzerald was replaced by Sune Wolff in the LB. The LB is now composed of Nico Plat, Nick Battle, Shin Sahara and Sako Hiroshi.

Overture

IDE

Overture IDE 1.0.0 release was discussed. It was agreed to create wiki pages where people could write down what platforms and dialects where tested. It was sugested that the page Overture_Platform_Releases is used to do so. Documentation should be distributed together with the executable and links made in the help pages.

\ VDMJ

Nick sent the updates to overture-core mailing list.

Publication plans

See Planned Publications (page has been updated).

Any Other Business

No AOB

Next Meeting

Next meeting is due on December 19th 2010, 1300 CET