Net Meeting 50

Review of Action List

• 38/2 (strategic research agenda - jsf) : carried forward
• 41/1 (notes on deploying vdm - pgl/mv/jsf/nb) : carried forward
• 44/1 (LB to report on semantics plan - np): carried forward

VDMTools

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

Overture

IDE

Overture 1.0.0RC2 is available with a few bug fixes and it needs testing. See detailed report from Augusto Ribeiro (sent to the overture-core mailing list) for more information.

There was a big discussion on the use of Word files as Overture input/output vs the Overture “Open Source” philosophy with no conclusion reached.

Can testers please up update Overture_Platform_Releases as they make tests. Bugs should be submitted to the SF bug tracker (though please check existing bugs first): https://sourceforge.net/tracker/?group_id=141350&atid=749152

Website

There was discussions on how to raise awareness of Overture and improving the website is on the action list to be updated before the 1.0.0 release.

VDMJ

Nick sent the updates to overture-core mailing list.

LB

Nico sent a report to overture-core that sums the decisions taken by the LB. The majority of the OO issues are now passed to community discussion phase.

Publication plans

See Planned Publications (page has been updated).

Any Other Business

Marcel and Peter proposed a tutorial for FM’11 - using Overture and DESTECS tool

Next Meeting

Next meeting is due on February 27th 2011, 1300 CET