Die UniForM Workbench ist eine offene Integrationsumgebung, in der formale Programmierwerkzeuge zu einer integrierten Software-Entwicklungsumgebung kombiniert werden können. Sie ermöglicht es einerseits, Daten zwischen den einzelnen Werkzeugen auszutauschen und persistent zu speichern (Datenintegration). Der gemeinsame Datenbestand wird dabei mit dem Graph-Visualisierungssystem daVinci dargestellt. Zum anderen können die verschiedenen Werkzeuge sich gegenseitig aufrufen und miteinander kommunizieren (Kontrollintegration). Schließlich ist es durch eine funktionale Einkapselung von TCL/TK möglich, die Benutzerführung jeder Instantiierung weitgehend einheitlich zu gestalten (Präsentationsintegration). Dabei wird von UniForM zu jeder Zeit die Integrität der ausgetauschten Daten (wie Spezifikationen und Beweise) sichergestellt. Das UniForM Transformationsanwendungssystem TAS dient zur transformationellen Entwicklung korrekter Programme. Als generisches Werkzeug kann es sowohl zur Spezifikation nebenläufiger Prozesse verwendet werden als auch für funktionale und sequentielle Programme. 1998 wurde die erste Instantiierung der Workbench für die Spezifkationssprachen CSP und Z fertiggestellt. Nach Abschluß der Förderung durch das BMBF sollen nun in einem ISP Nachfolgeprojekt weitere Fremdwerkzeuge in diese universelle Plattform eingebunden werden.