|Date||18 December 2011, 13h00 CET.|
|Participants||Nick Battle, Marcel Verhoef, John Fitzgerald, Joey Coleman, Sune Wolff, Nico Plat, Hiroshi Sako.|
The action item list is maintained as a tracker on SourceForge.
41/1 : PGL: No progress. Carried forward
52/1 : JC: Some progress, not finished. See report below.
52/2 : PGL: Progress but still not closed. Carried forward
57/1 : Closed: the meeting agreed that the LB is enlarged to seven members.
57/2 Closed: send note to LB on status of VDM libraries. The view (NB/NP) was that libraries were a tool matter, rather than an LB/LRM matter.
57/3 : Closed: all authors have updated the publications list and added the target conference or journal.
The newest version is following:
I’ve uploaded in Dropbox share area, and mail all of you where it is. But, I’ll delete the share area on 31th Dec. 2011.
Modified properties are followings:
VDMJ: Only two small changes since the last meeting. The reporting of warnings for non-deterministic statements that include sub-statements that may return a value was improved (some statements may not be reached, but we don’t know which). And the new “classname” function was added to the internal library so that it can be called via VDMUtils.
IDE: Only small changes has been made to the IDE, mostly improvements inside the tool which is not visible to the user.
Release 2.0.0RC1 is expected mid January 2012, which includes these features.
Minutes of the last meeting are available here: Minutes_of_the_LB_NM%2C_20th_November_2011
There has been very little activity or progress since the last meeting.
The meeting has agreed to extend the board to seven members. Marcel Verhoef volunteered to join, one position still open. The current board members have opted for re-election for another one year term. The meeting has kindly accepted that offer and reinstated the LB for the year 2012.
Overture 1.1.1 has now been officially released.
An initial draft of the 2012 release plan is made. You can see my initial draft on the SourceForge SVN Browser, though I am still gathering features for the broad list. Eventually the release process will become its own document, and the feature & actions list will be handled by something with better dependency/target tracking than LaTeX (I will look in depth at the current bug system, though I don’t think it will suffice, and also at Trac; if necessary I will broaden my search).
Joey is proposing to use TRAC as the tool to make the release management easier to administer.
Overture release 2.0.0-RC1 is expected mid January 2012, which includes the overhauled AST.
The research agenda is reviewed at every second meeting and was discussed last time. Since then there have only been comments from Nick Battle, who asked whether methods and applications could be regarded as part of the research agenda. We await any further comments for discussion at the next NM. Everyone is encouraged to discuss and make modifications to the Research agenda pages.
We will have an interactive discussion session on the SRA at NM 59.
Also see Planned Publications. Joey has volunteered to maintain a list of uncoming events where Overture papers could be submitted, everyone should add events as they become aware of them. Nico announced that a workshop is planned at ICSE this year focused on formal methods, he suggests that we could submit there too.
Please note that ABZ papers are due on January 14th!