Net Meeting 110

Review Status of the Action List

See Net Meeting Actions

• 88-1 Status: No progress.

Overture Language Board Status

• RM#42: Generalise Measure Clause
• RM#43: More flexible syntax for function arguments
• Standard Library WG

Status of VDMTools Development

Working on refactoring and support for ord/eq clauses. A new release will be made when the current features get stabilized.

Status of ViennaTalk Development

New major version “Maribor” is released.

https://github.com/tomooda/ViennaTalk-doc/releases/tag/20170827

• Migrated to Pharo 6.1 base (the current up-to-date Pharo system).
• VDMDebugger with step execution in the granularity of the source VDM spec.

Status of the Overture Components

VDMJ

Some minor fixes has been done.

Overture

Several tool enhancements has been made since the last meeting:

• Performance improvements for the code coverage feature.
• Several fixes for the debugger.

Release Planning

Next Overture release is due by September 11.

Community Development / Overture workshop status

Check out the Overture 15 workshop page, for the latest information about the upcoming workshop in Newcastle.

Overture Traffic

See download stats on the downloads page

Publications Status and Plans

TO will make updates.

Also see Planned Publications.

Any Other Business

No AOB was discussed.

Meeting closed at 12:38