11 lines
446 B
Text
11 lines
446 B
Text
|
The RelView-System is an interactive tool for computer-supported
|
||
|
|
manipulation of relations represented as Boolean matrices or directed
|
||
|
|
graphs, especially for prototyping relational specifications and
|
||
|
|
programs. It is developed at the Department of Computer Science and
|
||
|
|
Applied Mathematics of Christian-Albrechts-University of Kiel.
|
||
|
|
|
||
|
|
WWW: http://www.informatik.uni-kiel.de/~progsys/relview.shtml
|
||
|
|
|
||
|
|
- Michael Ebert
|
||
|
|
ebert@informatik.unibw-muenchen.de
|