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 Methoden zur 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 Product Line Architecture.- Entwurfsmustergesteuerte Erzeugung von OCL-Constraints.- Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme.- Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung.- Generatorunterstützte objektorientierte Entwicklung multimedialer Lehrund Lernsysteme zur Effizienzsteigerung und Qualitätsverbesserung.- Sicherheit in Mediendaten.- Rigorose Entwicklung software-intensiver Systeme.- Internet-Datenbanken.- Electronic Government.- Molekulare Bioinformatik.- Grafiktag 2000.- Unternehmen Hochschule.- Lehrerbildung Informatik - Konzepte und Erfahrungen.- Technologien zur virtuellen Ausbildung für wirtschaftlich schwache Länder.