

Beschreibung
Inhalt Inhaltsübersicht: Integration semi-formaler und formaler Methoden für die Spezifikation von Software-Systemen.- Disjunktive logische Programmierung und disjunktive Datenbanken.- Benutzungsschnittstellen für kommunizierende Systeme.- Systemtechnische Unt...