mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-17 08:01:36 +00:00
8 lines
398 B
Plaintext
8 lines
398 B
Plaintext
|
The UniForM workbench is an integration framework mainly geared towards
|
||
|
|
tools for formal methods. It uses a simple, powerful and flexible notion
|
||
|
|
of events to model all interactions between tools and users. In
|
||
|
|
particular, the workbench provides HTk, an encapsulation of Tcl/Tk based
|
||
|
|
on our event model (see HTk under Graphical User Interfaces).
|
||
|
|
|
||
|
|
WWW: http://www.informatik.uni-bremen.de/uniform/wb/
|