|Date||2015-02-22 00:00:00 +0100|
|Participants||Nick Battle, Peter Gorm Larsen (chair), John Fitzgerald, Peter Jorgensen, Ken Pierce, Tomohiro Oda, Shin Sahara. Minutes by Marcel Verhoef.|
Created: 6 February 2010 (see Net Meeting 41
Owner: Peter Gorm Larsen
Prepare new materials on how VDM fits into industrial development practice. This is to be aimed at a lay “manager” readership. Contributors: MV, JSF, NB and PGL. Now closed.
No progress reported.
Created: 21 September 2014 (see Net Meeting 82)
Owner: Ken Pierce
No specific issues to report. The discussion on object invariants is still pending, no comments were received after publication of the summary.
VDMTools is stable+ no changes since last report.
Some bug fixes this period:
Currently, VDMJ uses 64-bit longs and doubles to hold whole number types and real types internally. These are fast and efficient, and for most purposes they are large and accurate enough. But strictly speaking, the VDM language does not have limitations on the size or precision of numbers.
I’ve prepared patches for VDMJ and VDMJUnit which replace the internal long/double values with BigInteger and BigDecimal values. This should be regarded as experimental, but the system does pass all the language tests that I have. The change makes the full test suite about 3% slower.
The two new jars are called vdmj-3.0.1-P.jar and vdmjunit-1.0.0-P.jar.
Usage is the same as before, except for a new -precision option to set the number of decimal places that are significant. The default is 100. This can also be adjusted from the command line with a new “precision” command that displays or adjusts the current scale.
Reported by PJ: Fix to the SmokerPP example
Serious bug discovered in the latest release, CT only works with trivial examples and crashes when invariants are used. Under investigations at the moment. PJ needs to sync with Kenneth. Peter needs this solved as his VDM course is starting soon.
See download stats on the downloads page
Also see Planned Publications. From now on, this agenda point will be PM. Participants should update the list prior to the NM.