Innovationen bei Rechen- und Kommunikationssystemen

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 Unterstützung verteilter Multimedia-Anwendungen.- IT-Sicherheit: Technik im Spannungsfeld von Ethik und Recht.- Workstations: Architekturen, Anwendungen und Entwicklungstrends.- Realzeitsysteme.- Simulationstechnik.- Kommunikation und Koordination in verteilten betrieblichen Anwendungen.- Workshop: Computer, Media and Arts.- Students Workshop.