|Date||2015-05-3 13:00 CET|
|Participants||Marcel Verhoef, Nick Battle, Peter Gorm Larsen (chair), Peter Tran-Jørgensen, Shin Sahara, Tomohiro Oda. Minutes by Peter Tran-Jørgensen.|
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.
Status of this request for modification remains unchanged.
There have been no comments from the public on the v9.0.6 release.
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.
One small bug fix this time, to prevent the use of “RESULT” in parameter/variable definitions.
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
Nothing to report.
See download stats on the downloads page
Google Analytics - see google analytics
Top 6 Apr 3 - May 3: Contry - views
The Strategic [[Research]] Agenda is reviewed every other NetMeeting.
Also see Planned Publications.