Damit Softwareproduktionsumgebungen in gr eren Softwareentwicklungsprojekten wirkungsvoll eingesetzt werden k nnen, m ssen sie leistungsf hige Unterst tzungsfunktionen anbieten, die auf die Bed rfnisse der beteiligten Projektmitarbeiter ausgerichtet sind. In dieser Arbeit werden Konzepte f r eine verteilte wissensbasierte Softwareproduktionsumgebung, DIKOS (Distributed Knowledge-Based Software Engineering Environment), entwickelt, in deren Wissensbasis alle f r ein Softwareentwicklungsprojekt relevanten Informationen verwaltet werden. Dabei werden insbesondere Aspekte der Kooperation und Kommunikation der beteiligten Projektmitarbeiter betrachtet. Zur Beschreibung der in der DIKOS-Wissensbasis verwalteten Objekte sowie der zur Manipulation der Objekte definierten Funktionen werden THM-Netze eingef hrt, die Konzepte semantischer Datenmodelle mit Pr dikat-Transitions-Netzen vereinigen und zus tzlich ber Modellierungskonzepte zur Beschreibung von Zeitaspekten verf gen. Unter Verwendung von THM-Netzen wird ein Benutzerinformationssystem formal spezifiziert, das die Kooperation und Kommunikation zwischen den Projektmitarbeitern unterst tzt und teilweise automatisiert. Abschlie end wird die grundlegende Gestaltung der DIKOS-Benutzerschnittstelle beschrieben, wobei insbesondere die Dialogfunktionen des Benutzerinformationssystems betrachtet werden. Es wird ein abstraktes Dialogmodell eingef hrt, das die streng formale Spezifikation interaktiver Benutzerschnittstellen erm glicht.