Angewandte Informatik und formale Beschreibungsverfahren

KlappentextAus dem Inhalt J. Albert: Bild- und Videogenerierung mit Varianten endlicher Automaten M. Bartsch: Das Jahr-2000-Problem und die Haftung aus Softwarepflegeverträgen A. Brüggemann-Klein, R. Klein, B. Landgraf: BibRelEx: Erschließung bibliographischer Datenbasen durch Visualisierung von annotierten inhaltsbasierten Beziehungen J. Desel: Formaler Umgang mit semi-formalen Ablaufbeschreibungen B. Feldmann-Pempe, R. Krieger, G. Schlageter: Herausforderung an künftige Bildungssysteme: Lernerzentrierung und Praxisnähe V. H. Haase: „Active Scorecard“ (Unternehmen als Regelkreis) P. Haubner: Usuability Engineering - Integration von Software-Ergonomie und Systementwicklung L. J. Heinrich, G. Pomberger: Entwickeln von Informatik-Strategien - Vorgehensmodell und Fallstudien P. Jaeschke, F. Schönthaler: Modellbasiertes Business Management im Unternehmen des 21. Jahrhunderts P.-Th. Kandzia, Th. Ottmann: Wie real ist die Virtuelle Hochschule Oberrhein? H. Maurer: 60 Thesen Th. Mochel: Data-Warehousing: Chancen für die Telekommunikationsbranche R. Richter: Management von Informatikprojekten: Zutaten für ein Laborpraktikum V. Sänger: Aufbau und Einsatz einer Software Architektur F. Schlottmann, D. Seese: Die Skalierung der Preisschwankungen an einem virtuellen Kapitalmarkt mit probabilistischen und trendverfolgenden Agenten H. Schmeck: Elektronische Zahlungssysteme H.-W. Six, M. Winter: Kopplung von Anwendungsfällen und Klassenmodellen in der objektorientierten Anforderungsanalyse H.-G. Stork: Braucht der Cyberspace eine Regierung? R. Studer, A. Abecker, St. Decker: Informatik-Methoden für das Wissensmanagement L. Wegner: Datenbankgestützte Kooperation im Web P. Widmayer: Die Konkurrenz selbstsüchtiger Computer: Ein ökonimisches Problem? Anhang I: Wolffried Stuckys wissenschaftliche Familie (zusammengestellt von M. Salavati und H.-G. Stork) Anhang II: Adressen der Autoren und Herausgeber