Damit Softwareproduktionsumgebungen in grosseren Softwareentwicklungsprojekten wirkungsvoll eingesetzt werden konnen, mussen sie leistungsfahige Unterstutzungsfunktionen anbieten, die auf die Bedurfnisse der beteiligten Projektmitarbeiter ausgerichtet sind. In dieser Arbeit werden Konzepte fur eine verteilte wissensbasierte Softwareproduktionsumgebung, DIKOS (Distributed Knowledge-Based Software Engineering Environment), entwickelt, in deren Wissensbasis alle fur 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 eingefuhrt, die Konzepte semantischer Datenmodelle mit Pradikat-Transitions-Netzen vereinigen und zusatzlich uber Modellierungskonzepte zur Beschreibung von Zeitaspekten verfugen. Unter Verwendung von THM-Netzen wird ein Benutzerinformationssystem formal spezifiziert, das die Kooperation und Kommunikation zwischen den Projektmitarbeitern unterstutzt und teilweise automatisiert.Abschliessend wird die grundlegende Gestaltung der DIKOS-Benutzerschnittstelle beschrieben, wobei insbesondere die Dialogfunktionen des Benutzerinformationssystems betrachtet werden. Es wird ein abstraktes Dialogmodell eingefuhrt, das die streng formale Spezifikation interaktiver Benutzerschnittstellen ermoglicht.
