NEWS

2012/1/18 13:27:44 10 reads

Thank you for having you always use VDM information web site.

I canceled some functions restrictions that I carried out in our site from the other day.
You can use all functions now.

In addition, if it is discovered malfunction in contents and the function of our site,
Excuse me, but please inform it.

Continuously our site thanking you in advance.

2012/1/13 20:53:44 18 reads

Thank you for having you always use VDM information web site.
Our site limits following some functions to work on the move of the server now.

- New user's registration
- Registration
- Contact us

2012/1/13 15:59:00 15 reads

The Web site is maintained between from 2012/1/13 (Fri) 17:00 to 2012/1/16 12:00(JST).

It becomes impossible to use all the services of VDM information web site while maintaining it.

2011/5/27 14:51:10 765 reads

You can get the latest version of VDMTools Lite by logging in this web!

VDMTools Lite (VDM++ v8.3.1, VDM-SL v8.3.1, VICE v8.3.1 beta), the latest version of VDMTools, has been released on May 27, 2011.

Change log:
- The display upper bound optional number of lines in the interpreter window and the log window are added.
- Change of optional tool layout
- Optimization of Java code generation
- Fixed bugs.
- Improved stability of this software

2010/10/29 20:04:04 1048 reads

You can get the latest version of VDMTools Lite by logging in this web!

VDMTools Lite (VDM++ v8.3, VDM-SL v8.3, VICE v8.3 beta), the latest version of VDMTools, has been released on Oct 29, 2010.

Change log:
- Support for a large-scale model, depending on available memory.
- Added "Make values and functions as static" type-checker option.
- "UML Link" supports "astah*".
　- Changing default value of "interpreter" parameters.
- Support reference to old-value for "static" instance variables.
- Optimized interpreter execution performance.
- Added existence checking for abstract functions and operations.
- Aborting error check if the error-count exceeds 100.(GUI)
- Space after "is_" or "mk_" is not allowed.
*If using old VDMUinit, please update to new one.
- Support for "exit", "trap", and "tixe" statements by C++ code generator.
- Support for "startlist" statement by java code generator.
- Need Java version exceed 5.
- Changing Metadata class.
*If using Dinamic Link, please re-compile.
- Fixed some bugs.

2009/6/4 10:52:05 2296 reads

You can get the latest version of VDMTools Lite by logging in this web!
VDMTools Lite (VDM++ v8.2, VICE v8.2 beta, VDM-SL v8.2), the latest version of VDMTools Lite, has been released on Jun 4, 2009.

Please see here about how to use the new function of this version, and an UML link.

Note:
Correction is added also to the TeX style file (vdmsl-2e.sty, vpp.sty) of VDMTools enclosure on the relation which is adding the correction in the above-mentioned TeX output.
Since there is a possibility that compile of TeX may not pass if you use a former style file, please use the newest style file.

Change log:
- "UML Link" is made to correspond to qualifier.
- Corresponding "External Editor" is added.
- Output correction in the TeX output of "Pretty Prints".
- Improved stability of this software.

2009/6/2 13:33:58 1660 reads

The Web site is maintained between from 6/4 (Thursday) 9:30 to 12:00(JST).

It becomes impossible to use all the services of VDM information web site while maintaining it.

2009/6/2 13:29:34 1944 reads

We will release a new version 8.2 of VDMtools soon, so please keep an eye on it!

2008/5/27 17:00:00 3204 reads

You can get the latest version of VDMTools Lite by logging in this web!
VDMTools Lite (VDM++ v8.1, VICE v8.1, VDM-SL v8.1), the latest version of VDMTools Lite, has been released on May 27, 2008.

2008/4/18 16:05:15 3082 reads

We will release a new version of VDMtools soon, so please keep an eye on it!