Angewandte Informatik und Formale Beschreibungsverfahren

Aus dem Inhalt J. Albert: Bild- und Videogenerierung mit Varianten endlicher Automaten M. Bartsch: Das Jahr-2000-Problem und die Haftung aus Softwarepflegevertrgen A. Brggemann-Klein, R. Klein, B. Landgraf: BibRelEx: Erschlieung 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 knftige Bildungssysteme: Lernerzentrierung und Praxisnhe 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. Schnthaler: 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 fr die Telekommunikationsbranche R. Richter: Management von Informatikprojekten: Zutaten fr ein Laborpraktikum V. Snger: 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 Anwendungsfllen und Klassenmodellen in der objektorientierten Anforderungsanalyse H.-G. Stork: Braucht der Cyberspace eine Regierung? R. Studer, A. Abecker, St. Decker: Informatik-Methoden fr das Wissensmanagement L. Wegner: Datenbankgesttzte Kooperation im Web P. Widmayer: Die Konkurrenz selbstschtiger 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.