Informatik 2000: Neue Horizonte im neuen Jahrhundert 30. Jahrestagung der Gesellschaft für Informatik Berlin, 19.–22. September 2000

Front Matter....Pages I-X
Front Matter....Pages 1-1
Möglichkeiten und Grenzen der Virtualisierung des Informatikstudiums....Pages 3-11
Interaktive Lernsysteme im Fernstudium: Betrachtung eines Programmierkurses im Zeitraffer....Pages 12-15
Anwendungsorientierung in der Informatik-Ausbildung....Pages 16-18
Erfolg macht Spaß: Softwaretechnik an der Universität Stuttgart....Pages 20-31
Audio — Video — DISCO: Alltagstaugliche Konzepte für das Lernen mit neuen Medien....Pages 32-43
Some Misunderstandings about the Anglo-Saxon Graduation System....Pages 44-52
Front Matter....Pages 53-53
Perspektiven der Bioinformatik in der Funktionellen Genomforschung....Pages 55-62
Front Matter....Pages 53-53
Neue Wege in der Exploration....Pages 65-77
A Behavior and Utility-Based Control Architecture for Real-Time Applications....Pages 78-92
Komponentenbasierte Konstruktion flexibler Software-Entwicklungswerkzeuge....Pages 93-107
Kreativität in der Informatik: Anwendungsbeispiele der innovativen Prinzipien aus TRIZ....Pages 108-120
Aktives Lernen von Algorithmen mit interaktiven Visualisierungen....Pages 121-137
Towards a Manufacturing System under Hard Real—Time Constraints....Pages 138-145
Die Verarbeitung von Parallelismus-Constraints....Pages 146-164
Correctness Preserving Transformations for the Design of Parallelized Low-Power Systems....Pages 165-180
Glykowissenschaften, ein neuer Einsatzbereich der Bioinformatik....Pages 181-196
PROPAN: Ein retargierbares System für Postpassoptimierungen und -analysen....Pages 197-215
WWW.BDD-PORTAL.ORG: Ein Forschungsportal im WWW....Pages 216-222
 ∏ 2 : Unterstützung mobiler und drahtlos angebundener Teilnehmer in verteilten CORBA-Architekturen....Pages 223-232
Probabilistic Projection and Belief Update in the pGOLOG Framework....Pages 233-249
Front Matter....Pages 53-53
Explaining What Went Wrong in Dynamic Domains....Pages 250-263
Modellierung und Unterstützung verfahrenstechnischer Modellierungsprozesse....Pages 264-273
Verteilte Lösung simulationsbasierter Optimierungsprobleme auf vernetzten Workstations....Pages 274-292
Proving the Correctness of a Complete Microprocessor....Pages 293-303
Dezentrale Intelligenz durch Metamodell-basierte Objektverwaltung....Pages 304-317
Front Matter....Pages 319-319
Formale und stochastische Methoden zur Qualitätssicherung technischer Software....Pages 321-336
Bank2010: Eine fachliche und technische Vision....Pages 337-355
XML-Basierte Internetanbindung Technischer Prozesse....Pages 356-371
Improving the Validation Process for a Better Field Quality in a Product Line Architecture....Pages 372-388
Entwurfsmustergesteuerte Erzeugung von OCL-Constraints....Pages 389-404
Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme....Pages 405-419
Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung....Pages 420-439
Generatorunterstützte objektorientierte Entwicklung multimedialer Lehr- und Lernsysteme zur Effizienzsteigerung und Qualitätsverbesserung....Pages 440-460
Front Matter....Pages 461-461
Sicherheit in Mediendaten....Pages 463-464
Workshop über Rigorose Entwicklung software-intensiver Systeme....Pages 465-466
Workshop Internet-Datenbanken....Pages 467-468
Electronic Government....Pages 469-470
Workshop „Molekulare Bioinformatik“....Pages 471-472
Grafiktag 2000....Pages 473-474
Unternehmen Hochschule....Pages 475-476
Front Matter....Pages 461-461
Workshop Lehrerbildung Informatik....Pages 477-478
Workshop „Technologien zur virtuellen Ausbildung für wirtschaftlich schwache Länder“....Pages 479-481