|Date||18 September 2016, 12:00 CEST|
|Participants||PGL, JF, MV, NP, TO Minutes by NB|
Action 80-1, to update the strategic agenda, was closed after work by PGL and JF. Two slides are availailable from PGL.
The LB failed to meet this time, due to problems forming a stable Skype meeting and two members of the board being away. To avoid similar problems in future, MV created a #language-board channel within the Overture team on Slack. If the rest of the LB agrees, future meetings will be held there.
Just one very small tweak to VDMJ (doesn’t apply to Overture):
The following fixes and enhancements have been made since the last core meeting:
For the next release – version 2.4.2 (due by October 9, 2016) – we expect to include a first version of the auto-completion feature. As usual a release candidate will be sent out one or two weeks before the release date.
Furthermore, in response to the request for future release dates, the following milestones have been added to Github:
See download stats on the downloads page
NP described the intention of the “special session” at the workshop, for the benefit of those who did not attend the previous net meeting. The session will produce a BMC (Business Model Canvas) and a VPC (Value proposition canvas) for formal methods. More information will be distributed to attendees before the event. The SRA will also be an important input here.
This has been published, and action 80-1 closed. The agenda is currently available as a slide pack from PGL, but we should add the information to the GitHub site shortly.
See Planned Publications.
NP reminded us that he is leaving West IT Solutions on 1st October to pursue a career as an independent consultant. The team offer him our best wishes for the future.
MV identified an interesting development from a Lithuanian company that intends to produce a qualified code generator for VDM, based on AdaCore QGen technology. We hope that they will be able to use Overture technology and support the community in future.