Net Meeting 53

Review of Action List

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

VDMTools

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

There is plans for the code generator to be used inside a CSK project.

Overture

IDE

See detailed report from Kenneth Lausdahl (sent to the overture-core mailing list) for the latest news on the Overture IDE status.

A new release candidate version was presented to the overture-core. People should try it out and provide feedback.

PGL sent a draft release plan for the next Overture versions.

VDMJ

Nick sent the updates to overture-core mailing list.

LB

RMs are up in for community discussion. People should actively discuss the outstanding issues.

Release of version 1.0.0

After some initial interest, it has been more quiet lately, and downloads have also gone down. No additional suggestions for new initiatives were put forward.

Overture Workshop

John Fitzgerald sent out a status of the 2011 WS to the overture-core mailing list.

AST restructuring plans

KL has prepared the first draft of the AST restructuring plan. It is still a bit confusing but it will be improved in near future together with a working example of a small AST. The first draft can be found here https://overture.svn.sourceforge.net/svnroot/overture/trunk/documentation/developmentDocs/RestructuringAst/restructuringAst.pdf

Publication plans

Everybody need to ensure that the Planned Publications page Planned Publications is updated, and that any published papers are available on the Overture wiki Overture Publications

AOB

No other business.

Next Meeting

Next meeting is due on –