Hi all,
I will be giving an all-day tutorial at ETAPS this year on 30 March
2008 in Budapest entitled "Verification-centric Development in Java
with JML and ESC/Java2".
In this tutorial I'll be introducing JML and ESC/Java2 and explaining
how these tools are integrated into the Mobius Program Verification
Environment via Eclipse.
If you are attending ETAPS and are interested in getting an update on
the state of the Mobius PVE, please consider attending this tutorial.
JML, ESC/Java2, and Eclipse novices are more than welcome.
For more information, see the ETAPS'08 webpages
http://etaps08.mit.bme.hu/and in particular, the ETAPS tutorial webpages
http://etaps08.mit.bme.hu/Tutorials/tutorials.html#jmlMore information about this tutorial, and other related tutorials, is
available via my research group's website.
http://kind.ucd.ie/documents/tutorials/A similar tutorial may be given at JavaOne in May in San Francisco and
ETAPS 2009. Other proposals are forthcoming.
Best,
Joe Kiniry
---
Dr. Joseph Kiniry
http://casl.ucd.ie/people/kiniryKindSoftware Research Group
http://kind.ucd.ie/Systems Research Group
http://srg.cs.ucd.ie/UCD School of Computer Science and Informatics
http://www.ucd.ie/csi/Complex & Adaptive Systems Laboratory (UCD CASL)
http://casl.ucd.ie/University College Dublin
http://www.ucd.ie/Belfield, Dublin 4, Ireland
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/_______________________________________________
JMLspecs-ESCJava mailing list
JMLspecs-ESCJava@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-escjava
