blob: bd63bdf1b4857075e81d1f7ca75caa310b546ced (
plain) (
blame)
1
2
3
4
5
6
7
|
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/
|
