Informatik 2000

Möglichkeiten und Grenzen der Virtualisierung des Informatikstudiums.- Interaktive Lernsysteme im Fernstudium: Betrachtung eines Programmierkurses im Zeitraffer.- Anwendungsorientierung in der Informatik-Ausbildung.- Erfolg macht Spa?: Softwaretechnik an der Universität Stuttgart.- Audio - Video - DISCO: Alltagstaugliche Konzepte für das Lernen mit neuen Medien.- Some Misunderstandings about the Anglo-Saxon Graduation System.- Perspektiven der Bioinformatik in der Funktionellen Genomforschung.- Neue Wege in der Exploration.- A Behavior and Utility-Based Control Architecture for Real-Time Applications.- Komponentenbasierte Konstruktion flexibler Software-Entwicklungswerkzeuge.- Kreativität in der Informatik: Anwendungsbeispiele der innovativen Prinzipien aus TRIZ.- Aktives Lernen von Algorithmen mit interaktiven Visualisierungen.- Towards a Manufacturing System under Hard Real-Time Constraints.- Die Verarbeitung von Parallelismus-Constraints.- Correctness Preserving Transformations for the Design of Parallelized Low-Power Systems.- Glykowissenschaften, ein neuer Einsatzbereich der Bioinformatik.- PROPAN: Ein retargierbares System für Postpassoptimierungen und -analysen.- WWW.BDD-PORTAL.ORG: Ein Forschungsportal im WWW.- II2: Unterstützung mobiler und drahtlos angebundener Teilnehmer in verteilten CORBA-Architekturen223.- Probabilistic Projection and Belief Update in the pGOLOG Framework.- Explaining What Went Wrong in Dynamic Domains.- Modellierung und Unterstützung verfahrenstechnischer Modellierungsprozesse.- Verteilte Lösung simulationsbasierter Optimierungsprobleme auf vernetzten Workstations.- Proving the Correctness of a Complete Microprocessor.- Dezentrale Intelligenz durch Metamodell-basierte Objektverwaltung.- Formale und stochastische Methodenzur Qualitätssicherung technischer Software.- Bank2010: Eine fachliche und technische Vision.- XML-basierte Internetanbindung technischer Prozesse.- Improving the Validation Process for a Better Field Quality in a