NetMeeting Default Template

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

topic 1

some description

Status of ViennaTalk Development

Slicing VDM specs when debugging auto-generated Smalltalk code

ViennaTalk displays VDM source when debugging auto-generated Smalltalk code. VDM slicing operations are added to the Smalltalk debugger so that which parts of the VDM spec contributed to the point of failure.

Support for combinatorial testing and debugging failed tests

ViennaTalk auto-generates Smalltalk code for traces so that failures and errors in combinatorial testing can be debugged on Smalltalk debugger with VDM source. VDM slicing operation on the Smalltalk debugger highlights possible causes of failures/errors in the VDM source.

Status of the Overture Components

VDMJ and VDM-VSCode

Some small updates for QuickCheck related issues and the integration with the VDM-VSCode UI. The 1.4.0 release of VDM-VSCode, based on VDMJ 4.6.0, is being prepared now.

Release Planning

VDM-VSCode

Release 1.4.0 is being produced and tested. A release candidate should be available for testing.

Community Development

Overture Traffic

See download stats on number of installs.

OVT-22

Seven submissions in review at the moment. Hybrid workshop was allowed by FM organizers.

Strategic Research Agenda

The Strategic Research Agenda is reviewed every other NetMeeting.

Publications Status and Plans

Also see Planned Publications.

Any Other Business