GISI 95

25. GI-Jahrestagung und 13. Schweizer Informatikertag, Zürich, 18. - 20. September 1995

Inhaltsübersicht: Die fachlichen Informations- und Publikationsdienste der Zukunft.- Probabilistically Checkable Proofs and Applications.- Tutorien.- Öffentliche Verwaltung im Informationsverbund.- Zukünftige Kommunikationsarchitekturen.- Verteilte CAD-Systeme.- Prozeßentwurf und Workflow-Management.- Informations- und Computersicherheit.- Intelligente Lehr-/Lernsysteme.- Welchen Wert haben theoretische Grundlagen für die Berufspraxis?- Entwurf und Entwicklung verteilter Informationssysteme.- Objektorientierte Spezifikation verteilter Software-Systeme.- Wiederverwendung in der Softwaretechnik.- Konzepte und Architekturen für die Integration kooperierender Anwendungen.- Reengineering in globalen Anwendungsarchitekturen.- Dezentralisierung und Selbstorganisation im globalen Informationsverbund.- Internationale Arbeitsteilung und globale Vernetzung.- Landesübergreifende Umweltinformationssysteme.- Computersimulation und Visualisierung.- Informationsverarbeitung und Kommunikation im Gesundheitswesen. - Flexible Breitbandkommunikation durch ATM.- Oberon - Betriebssystem der Zukunft für globale Informationsdienste.