Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Net Meeting 53

   
Date 29 May 2011, 1030 CET
Participants Peter Gorm Larsen, Shin Sahara, Hiroshi Sako, Nick Battle, Kenneth Lausdahl and Augusto Ribeiro.

Review of Action List

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 –