DiVinE Documentation

Reference guides - brief (but often long) documentation with many technical details

Library - reference guide (generated from source codes of the library)
GUI - reference guide synthesized from its Java source codes (not very detailed)

Tutorials - documentation explaining principles and giving examples

DVE Modeling Language - quick guide showing features of this modeling languge
Development support - useful informations for developers of DiVinE
ToolSet - Decription of tools contained in DiVinE and their command line options

DiVinE Documentation, 2006 developed in ParaDiSe laboratory, Faculty of Informatics, Masaryk University