3871c87a99
manipulation of relations. PR: 44462 Submitted by: Michael Ebert <ebert@informatik.unibw-muenchen.de>
10 lines
446 B
Text
10 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
|