Computer-Aided Program Development
Institute of Computer Science
Faculty of Engineering, Christian-Albrechts-University of Kiel
Logo of the Working Group
RelView - Documentation

Manual for RelView:

The manual (265 KB, postscript, compressed) for the former RelView version (release 6.2) is also available as Bericht 9711 of the Institute of Computer Science and Applied Mathematics of the Christian-Albrechts-University.

A short description of RelView:

This 4-page description (66 KB, postscript, compressed) appeared in the proceedings of FASE 98 (LNCS 1382).

Most important new features of RelView release 7.2 (not contained in the manual):

Most important new features of RelView release 7.0 (not contained in the manual):

Short descriptions of special features of RelView:

Rudolf Berghammer -
Last modified: 02-Jul-2012, 16:40:46 CEST