Net Meeting 47


Date	26 September 2010, 1300 CET
Participants	Peter Gorm Larsen, Hiroshi Sako, Kenneth Lausdahl, Nico Plat, Nick Battle, John Fitzgerald, Ken Pierce (7 persons)

Review of Action List

38/2 (strategic research agenda - jsf) : carried forward (John hopes to close this today)
41/1 (notes on deploying vdm - pgl/mv/jsf/nb) : carried forward
44/1 (LB to report on semantics plan - jsf): carried forward
47/1 (Nico to get LB dates sorted asap - np): new

VDMTools

See detailed report of Shin Sahara (sent to the overture-core mailing list) for the latest on VDMTools from Japan. The latest version is RC25. The type checker has been modified and Visual Studio 2010 is now supported.

Overture

IDE

Overture IDE 0.3.0 has been released. A bug/feature request list has been started and work is being done on improving combinatorial testing (to include test coverage).

AST

New AST / TC project has some issues, particularly choice of AST structure to support TC. There is also the issue of whether the project should target the new / emerging VDMCore semantics or just copy the current VDMJ functionality / approach. No updates are expected while Kenneth is on paternity leave.

VDMJ

Nick sent estimates of effort required for resolving the OO issues raised at the London workshop to the overture-core mailing list.

Publication plans

See Planned Publications (page has been updated).

Combinatorial testing paper - appeared.
Agility paper - appeared.
VDM Core semantics for OOPSLA - planned.
Workshop proceedings aim for end of October.

Any Other Business

John and Sune submitted a proposal to hold an Overture worksop at FM11 in Limerick, Ireland.

Next Meeting

Next meeting is due on Sunday October 17th 2010, 13h00 CET.

Overture Tool