NetMeeting 88

Review Status of the Action List

See Net Meeting Actions

• 80-1 Status remains unchanged. Status of this action remains unchanged.

Overture Language Board Status

Add a VDM-Util function for getting current system time

There has been a proposal to extend the standard libraries with support for measuring the time it takes to execute a functional description. The LB will soon be ready to vote on this RM.

See https://github.com/overturetool/language/issues/31

Pure operations

Status of this request for modification remains unchanged.

Status of VDMTools Development

v.9.0.6

There have been no comments from the public on the v9.0.6 release.

Status of the Overture Components

Java code generation

PVJ has done some work on code generation of VDMSL. Its not yet totally complete as it does not take imports/exports and renaming into account. In addition to that PVJ is also working on generating JML from pre/post/invariants focusing only on SL for now.

VDMJ

One small bug fix this time, to prevent the use of “RESULT” in parameter/variable definitions.

VDMPad

Recently Tomohiro Oda has developed python code to animate VDM models using VDMPad as animation engine. For more information on the project see https://github.com/tomooda/pyVDMC

Release Planning

Nothing to report.

Community Development

Overture Traffic

See download stats on the downloads page

Google Analytics - see google analytics

Top 6 Apr 3 - May 3: Contry - views

• United Kingdom 114(25.91%)
• Netherlands 68(15.45%)
• Denmark 57(12.95%)
• Japan 46(10.45%)
• United States 40(9.09%)
• Ukraine 16(3.64%)

Strategic Research Agenda

The Strategic [[Research]] Agenda is reviewed every other NetMeeting.

Publications Status and Plans

Also see Planned Publications.

Any Other Business