Overture Tool
Formal Modelling in VDM
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
- 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.
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