Index of /~adrpo33/sosdt
Name Last modified Size Description
Parent Directory -
presentation/ 2006-11-13 11:08 -
tests/ 2006-10-03 03:46 -
update/ 2006-11-13 10:39 -
README 2006-11-13 11:12 570
The RDT/SOSDT Eclipse Environment
---------------------------------
A tool for developing SOS/Natural semantics
specifications using Eclipse and RML.
2006-10-03
+ added /tests
2006-11-13
+ added /update
- contains version 1.0.0 of RDT/SOSDT
- the update site for RDT/SOSDT Environment
- enter "update" directory to read more on
how to install the tool.
+ added /presentation
- the presentation given at SOS2006 Workshop,
Bonn, Germany, August 26.
http://www.cse.unsw.edu.au/~rvg/SOS2006/
Adrian Pop [adrpo@ida.liu.se],
Last update: 2006-11-13