|Date||22 August 2010, 1300 CET|
|Participants||Peter Gorm Larsen, Shin Sahara, Hiroshi Sako, Kenneth Lausdahl, Nico Plat, John Fitzgerald, (6 persons)|
See detailed report of Shin Sahara (sent to the overture-core mailing list) on the latest and greatest on VDMTools from Japan. VDM Tools. A number of bugs in the TC has been corrected and RC19 available for test.
Overture IDE 0.3.0 RC2 available for test, graphical errors fixed. Three large Japanese models have been tested in the tool and discovered that the Console prints in wrong encoding. A new RC3 will be uploaded to fix this.
New AST and parser prototype made based on the new TreeGen tool. A very early TC project has also been made.
See Planned Publications (page has been updated).
Once again the Twiki sites are under attack and it has been purposed to close down automatic registration and let one administrator accept new accounts. No objections was made and Peter will discuss with Augusto how the new wiki is protected.
Next meeting is due on Sunday 26 September, 13h00 CET.