Overture NetMeeting 128
||27 June 2021, 12:00 CET
||HDM, NB, TO, Minutes by HDM
Review Status of the Action List
See Net Meeting Actions
Overture Language Board Status
The full list of open issues is here.
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)
See download stats on the downloads page
For VSCode see status on the extension page
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
Any Other Business