Overture NetMeeting 129
||29 August 2021, 12:00 CEST
||HDM,JR,NB,LF,TO,MV,PGL Minutes by TO
Review Status of the Action List
See Net Meeting Actions
Overture Language Board Status
The full list of open issues is here.
- Added refactoring support
Status of the Overture Components
Summer intern at AU will contribute to Overture VSCode migration.
VDM for VSCode
- Added Java Code Generation reusing OVT jars. Added Import Library. Added Import Example Project.
- Added structured outlining, which allows better navigation, including proper use of the breadcrumbs bar.
- Working on CSV and VDMUnit library native code (porting from Overture)
See download stats on the downloads page
For VSCode see status on the extension page
Overture 19 will be held at Aarhus.
Reviews started and should be under way.
Strategic Research Agenda
The Strategic Research Agenda is reviewed every other NetMeeting. No progress this time.
Publications Status and Plans
Any Other Business