Overture NetMeeting 128

Review Status of the Action List

See Net Meeting Actions

• Licensing of Fujitsu’s VDMJ can be closed, pending the move of everything to VSCode under GPL.

Overture Language Board Status

Open Requests

The full list of open issues is here.

Status of VDMTools/ViennaTalk

VDMTools

No changes

ViennaTalk

Working on refactoring support on VDM Browser.

Status of the Overture Components

Summer intern at AU will contribute to Overture VSCode migration.

VDM for VSCode

• Added coverage. Need to move from private repository to Overture and establish a rolling release process (this can be done by the new intern as well).
• Some small fixes added as a result of using the tool to work on the FMI static/dynamic models.
• VDMJ updates for @VDMFunction and @VDMOperation (Java annotations for native Java methods implementing VDM functions or operations)

Release Planning

Community Development

Overture Traffic

See download stats on the downloads page

For VSCode see status on the extension page

Overture Workshop

The CFP is out and everyone is encouraged to submit paper proposals. Deadline is 12 July!

Strategic Research Agenda

The Strategic Research Agenda is reviewed every other NetMeeting. No progress this time.

Publications Status and Plans

Planned Publications

Any Other Business