Table of Contents

• Die fachlichen Informations- und Publikationsdienste der Zukunft - eine Initiative der Gesellschaft für InformatikAnne Brüggemann-Klein, Günther Cyranek, Albert Endres. 2-12
• Probabilistically Checkable Proofs and ApplicationsShafi Goldwasser. 13-25
• A Framework for QoS Guarantees for Multimedia Applications within an EndsystemR. Gopalakrishnan, Guru M. Parulkar. 43-56
• On the Integration of Legacy Information Servers into the World-Wide WebLouis Perrochon. 57-60
• Informatische und verwaltungswissenschaftliche Perspektiven für eine öffentliche Verwaltung im WandelKlaus Lenk. 62-69
• Aufbau eines Informationsverbundes am Beispiel des Landesverwaltungsnetzes NRWKlaus Rastetter. 77-83
• Öffentliche Verwaltung im Informationsverbund: Der Informationsverbund Bonn-Berlin (IVBB) als Beispiel besonderer ArtHeino Kaack. 84-91
• Informationsaustausch zwischen öffentlichen VerwaltungenUwe Kassner. 92-99
• Regionaler Informationsverbund zur Struktur- und WirtschaftsförderungAlbert Noltemeier, Hubert Große-Onnebrink, Lothar Oppor. 100-109
• Global Management for a Real European Information System: Taking the Schengen System (SIS) as an ExamplePaul Frießem. 110-117
• Vorgangsbearbeitung im InformationsverbundAndreas Engel. 118-126
• Max Webers Bürokratietheorie im Lichte elektronischer KommunikationsmedienPeter Fleissner. 127-135
• CHIMPSY - A Modular Processor-System for High-Performance CommunicationsJochen H. Schiller. 137-148
• Limitations and Implementation Experiences of Integrated Layer ProcessingTorsten Braun. 149-156
• Levels of Quality of Service in CINEMAIngo Barth, Gabriel Dermler, Walter Fiederer. 157-164
• Kooperation im Entwurf mit Hilfe lose gekoppelter SichtenStephan Jacobs, Michael Gebhardt. 166-174
• Architekturprinzipien verteilter objektorientierter IngenieursystemeJürgen Gausemeier, Axel Hahn, Winfrid Schneider. 175-185
• PrM Prozessmanager für den Applikationsverbund der TELECOM PTTDaniel Müller, Martin Hübscher. 187-196
• Modellierung und Ausführung flexibler Geschäftsprozesse mit SAP Business Workflow 3.0Helmut Wächter, Franz J. Fritz, Andreas Berthold, Bernhard Drittler, Harald Eckert, Ralf Gerstner, Ralf Götzinger, Rolf Krane, Andreas Schaeff, Christian Schlögel, Rainer Weber. 197-204
• Transactional Workflows Support using MiddlewareAndrew Deacon. 205-214
• Petrinetzbasierte Modellierung und Steuerung unternehmensübergreifender GeschäftsprozesseMichael Merz, Kai Müller-Jones, Winfried Lamersdorf. 215-222
• Zum Problem des Schemaentwurfs eines Workflow-Management-SystemsHartmut Wedekind. 223-232
• Design von Geschäftsprozessen in semi-strukturierten Umgebungen: Das Eignungspotential von Groupware-Systemen für Workflow-AnwendungenJosef Herget, Ingrid Kreitmeier. 233-244
• Betriebsübergreifendes GeschäftsprozessmanagementPetra Hirschmann. 245-252
• Authentifikations- und SchlüsselverteilsystemeRolf Oppliger. 266-273
• Welchen Wert haben theoretische Grundlagen in der Berufspraxis? Was Theorie leisten kann und soll. - Universalismus, Abstraktion und Modellbildung in der InformatikBritta Schinzel. 266-373
• Integration von Hypertext und Expertensystemen am Beispiel eines Trainingssystems für Herz-Rhythmus-StörungenBettina Reinhardt, T. Remp. 275-283
• WULPUS, Wissensbasierte Hilfen und Erklärungen für ein betriebswirtschaftliches PlanspielClaus Möbus, Olaf Schröder, Heinz-Jürgen Thole. 284-292
• Eine Didaktikkomponente für SYPROS - Studentenmodellierung, Lernzielstrukturierung und LernerführungMeike Gonschorek, Christian Herzog, Eva Kluge. 293-303
• Erklärungsgenerierung in Petri-HelpKnut Pitschke, Olaf Schröder, Claus Möbus. 304-313
• CRITI-GUI - Lernen im Dialog mit einem KritikerDoris Nitsche-Ruhland, Gottfried Zimmermann. 314-321
• Towards Adaptive Learning EnvironmentsPeter Brusilovsky, Marcus Specht, Gerhard Weber. 322-329
• Diagnostik von Handlungsphasen in tutoriellen LernsystemenPeter Gerjets, Elke Heise, Rainer Westermann. 330-337
• Die Entwicklung der Informatik braucht Theorie und Praxis. Ein Fallbeispiel aus dem CAD-SchaltkreisentwurfChristoph Meinel. 339-346
• Welche Theorie-Inhalte müssen in der Lehrerausbildung vermittelt werden?Sigrid E. Schubert. 374-381
• Zur Bedeutung von theoretischen Grundlagen in den universitären Studiengängen Wirtschaftsinfomatik, Wirtschaftsingenieurwesen, WirtschaftsmathematikWolffried Stucky. 382-383
• Stellenwert theoretischer Inhalte im Informatikstudium an FachhochschulenHerbert Kopp. 384-390
• Stellenwert theoretischer Inhalte in universitären InformatikstudiengängenVolker Claus. 391-398
• Verteilte betriebswirtschaftliche Standardsoftware in heterogenen UmgebungenGeorg Reichwein. 400-406
• Entwurfsvalidation für verteilte Informationssysteme mit dem graphischen, mehrbenutzerfähigen Pr/T-Netz-Simulator GAPS+Volker Sänger, Wolfgang Weitz. 407-414
• Ein Ansatz zur Beurteilung der Wirtschaftlichkeit verteilter IV-SystemeEberhard Stickel. 415-422
• Mobile Klienten: Ortsübergreifender Zugang zu Diensten in offenen verteilten InformationssystemenMichael Merz, Kai Müller-Jones, Winfried Lamersdorf. 423-430
• Interoperabilität zwischen verschiedenen DFR-Anwendungen in einer Client-Server-Umgebung: Konzepte, Realisierung und Bewertung einer ObjectStore-basierten LösungUta Störl, Klaus Küspert. 431-438
• Integration verteilter heterogener Datenbanken in einer föderativen QualitätsmanagementarchitekturPeter Szczurko. 439-446
• Verteilungstransparenz bei der objektorientierten Spezifikation verteilter ApplikationenKlaus-Peter Löhr. 448-458
• Delegation als Konzept der objektorientierten ModellierungStefan Dißmann, Volker Gruhn. 459-470
• Werkzeuge zum Aufbau und Einsatz von Bibliotheken zur Software-Wiederverwendung: Kriterien und AnforderungenAndreas Zendler, Stefan Gastinger. 482-495
• Software-Wiederverwendung und komponentenbasierte Software-Entwicklung: Zwei Seiten einer Medaille?Klaus Berg. 496-503
• Integrating the Swiss Electronic Stock Exchange into a Member Bank s Trading EnvironmentCarl Binding. 505-517
• Kooperationsanwendungen: Integrierte Vorgangskontrolle und Dienstvermittlung in offenen verteilten SystemenKai Müller-Jones, Michael Merz, Winfried Lamersdorf. 518-525
• Die konzeptionelle Ist-Architektur als Basis für die Evolution integrierter InformationssystemeChristian Gaßner, Thomas Gutzwiller. 526-534
• Automatisierung der Migration von CUI nach GUIRainer Gastner. 536-543
• Projekt-Priorisierung beim integrationsorientierten ReengineeringReinhard Jung. 544-551
• Software-Wartung und Reengineering als Kernprobleme der InformatikFranz Lehner. 552-561
• Gestaltungsrationalität und autopoietische Wende Michael Paetau. 563-570
• Kultureller Wandel in der InformatikHanja Hansen, Andreas Huber, Beate Kuhnt. 571-580
• National Computer Policy in Singapore: Government as the DriverYap Sing Yang. 582-587
• Sharing of Work Between Industrialised and Developing Countries in Engineering of Highly Dependable Software for Process AutomationWolfgang A. Halang, Carlos Eduardo Pereira. 588-595
• Erfahrungen der SWISSAIR mit Informatik-Outsourcing und Know-How Transfer in Schwellenländer und EntwicklungsländerHans Eisele. 596-599
• Metadatenklassen im Umwelt-Datenkatalog (UDK)Walter Swoboda, Helmut Lessing, Peter Grolimund, Oliver Günther, Ulrike Haas, Rudolf Legat, Manuel Vogler, Konrad Zirm. 601-609
• Metadatenzugriff in Weitverkehrsnetzen: Eine Realisierung am Beispiel des Umweltdatenkatalogs UDKRalf Kramer, Horst Spandl. 610-617
• Über die Integrationsproblematik bei übergreifenden UmweltinformationssystemenRalf Denzer, Reiner Güttler. 626-632
• Effiziente Flugzeug-Vorentwicklung durch multimediale Kooperation und Supercomputing auf Hochgeschwindigkeits-DatennetzenFrank Arnold, Stefan Rill, Klaus Becker. 642-650
• Interaktive Visualisierung hochaufgelöster Volumendaten durch Vernetzung graphischer und numerischer HöchstleistungsrechnerRüdiger Westermann, Gerold Wesche, Bernd Fröhlich. 651-660
• Evaluation von Medizinischen Informationssystemen: Methoden, Ziele, ErgebnisseThomas Bürkle, Reinhard Kuch, Hans-Ulrich Prokosch, Joachim Dudeck. 662-668
• Das Lübecker Krankenhaus-KommunikationssystemSiegfried J. Pöppl, Hans-Gerd Lipinski. 669-676
• ADEPT: Ein integrierender Ansatz zur Entwicklung flexibler, zuverlässiger, kooperierender Assistenzsysteme in klinischen AnwendungsumgebungenPeter Dadam, Klaus Kuhn, Manfred Reichert, Thomas Beuter, Michael Nathe. 677-686
• Konzeption und Entwicklung eines EDI-Servers für den Gesundheitsmarkt SchweizAndreas Meier, Peter Bachmann, Stefan Dünki, Werner Huber, Philippe Nussbaum, Stefan Scherrer, Hans-Peter Weber. 695-702
• Die Bedeutung von Referenzmodellen für das Management von KrankenhausinformationssystemenAlfred Winter, Roland Zimmerling. 703-710
• Modellierung eines Krankenhausinformationssystems mit einem objektorientierten VerfahrenStefan Gräber. 711-719
• A Comparison of C++, FORTRAN 90 and Oberon-2 for Scientific ProgrammingBernd Mösli. 740-748
• The Smart Document or How to Integrate Global ServicesJürg Gutknecht. 758-762