Download Latest Version runtime_vb.jar (125.4 kB)
Email in envelope

Get an email when there's a new version of jTurret

Home / Help files / README
Name Modified Size InfoDownloads / Week
Parent folder
README.txt 2007-03-13 1.1 kB
0
Totals: 1 Item   1.1 kB 0 
Author: Vaishak Belle

================================
Introduction
++++++++++++++++++++++++++++++++

This is a developement project of runtime verification using Contracts in the Java Programming Language. 

1. RtimeCon-VB.pdf is a concrete and precise writeup of the theoritical and practical basis of our work. 

2. The supplied folders include a corresponding README file. 

3. To carry out sample executions please refer "HOWTO.txt".

4. runtime-vb.jar can be included in the library path for inheritence or other related developements ( CAUTION: does not include all needed libraries!).

==============================
Folder Description
++++++++++++++++++++++++++++++
Archive: A single ZIP file of the current workspace. 

code: Contains implementation with previous versions.

Build files: Contains eclipse generated build files. One could use them directly with ant ( please refer to the Eclipse documentation about the details of build.xml) OR refer HOWTO.txt to execute samples. 

API-Documentation: Javadocs for our implementation.

Report files: tex files used to compile the report.
Source: README.txt, updated 2007-03-13