Net Meeting 120

Review Status of the Action List

A list of actions can here found here. No progress reported.

Overture Language Board Status

• No open actions at this time.

• We have two open RMs (total functions and annotations), which we need to integrated to the Overture tool.

Status of VDMTools/ViennaTalk

• ViennaTalk “Cologne” is released
  • ViennaClient.js (JavaScript library to use VDMPad/ViennaServer as a VDM interpreting engine)
  • ViennaDoc support

Status of the Overture Components

Overture

• New standard annotation @OnFail
• Small fix to mu error reporting locations

Release Planning

Next release of Overture, version 2.7.2, is due October 1. A release candidate will be send out on September 16.

Community Development

Overture Traffic

See download stats on the downloads page

The next Overture workshop

Program is in place, pre-proceedings are almost ready for release. FM is still trying to sort out the venues. The website will be updated once where the workshop will take place is confirmed. The pre-proceedings will be a UNEW TR.

Licensing of Overture source code

Publications Status and Plans

See Planned Publications.

Any Other Business