Informatik ’97 Informatik als Innovationsmotor: 27. Jahrestagung der Gesellschaft für Informatik Aachen, 24.–26. September 1997

Front Matter....Pages I-XVI
Informatik — Motor im Wandel der Strukturen....Pages 1-1
Elektronischer Handel — Neuer Fokus der Informatik....Pages 2-2
Access Anywhere Means Services Everywhere....Pages 3-3
The Use of Program Profiling in Software Testing....Pages 4-16
Informatik und Arbeitsmarkt....Pages 17-17
Informatik-Fachkompetenz durch Bildung....Pages 19-26
Front Matter....Pages 27-27
Deduction as a Cross-Sectional Technology The DFG Focus Programme on Deduction....Pages 29-40
Spatial Cognition: The Role of Landmark, Route, and Survey Knowledge in Human and Robot Navigation 1 ....Pages 41-50
SFB 378: Ressourcenadaptive Kognitive Prozesse....Pages 51-57
Algorithmen zum automatischen Zeichnen von Graphen im Rahmen des DFG-Schwerpunkts Effiziente Algorithmen für diskrete Probleme und ihre Anwendungen....Pages 58-67
Ziele und Aufbau des Sonderforschungsbereichs „Multiprozessor- und Netzwerkkonfiugrationen“ der Universität Erlangen-Nürnberg....Pages 68-75
DFG-Schwerpunkt....Pages 76-84
Rechner- und sensorgestützte Chirurgie....Pages 85-92
DFG-Schwerpunktprogramm: „Entwurf und Entwurfsmethodik eingebetteter Systeme“....Pages 93-101
Sonderforschungsbereich 531....Pages 102-110
SFB 527: Integration symbolischer und subsymbolischer Informationsverabeitung in adaptiven sensomotorischen Systemen....Pages 111-120
Rapid Prototyping für integrierte Steuerungssysteme mit harten Zeitbedingungen....Pages 121-122
SFB 358: Automatisierter Systementwurf....Pages 123-132
SFB 501: Entwicklung großer Systeme mit generischen Methoden....Pages 133-142
SFB-476 IMPROVE: I nfor m atische Unterstützung übergreifender Entwicklungs pro zesse in der Ve rfahrenstechnik....Pages 143-154
Front Matter....Pages 27-27
Werkzeuge und Methoden für die Nutzung paralleler und verteilter Rechnerarchitekturen....Pages 155-163
Parallel Computing in Paderborn: The SFB 376 “Massive Parallelism — Algorithms, Design Methods, Applications”....Pages 164-171
Der Sonderforschungsbereich 360 „Situierte Künstliche Kommunikatoren“ an der Universität Bielefeld....Pages 172-179
DFG-Schwerpunktprogramm “Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen”....Pages 180-181
Das DFG-Schwerpunktprogramm „Mobilkommunikation“....Pages 182-184
SFB 346—Integrationstechnologie als Innovationsmotor für Maschinenbauanwendungen....Pages 185-194
Vernetzung als Wettbewerbsfaktor am Beispiel der Region Rhein-Main....Pages 195-204
DFG-Schwerpunktprogramm V 3 D 2 — Verteilte Verarbeitung und Vermitlung Digitaler Dokumente....Pages 205-212
Front Matter....Pages 213-213
VERBMOBIL: Erkennung, Analyse, Transfer, Generierung und Synthese von Spontansprache....Pages 215-224
Forschung im Zeitalter vom Multimedia: Die virtuelle Wissensfabrik....Pages 225-234
Elektronische Informations- und Publikationsdienste für die Informatik: Ergebnisse des Projekts MeDoc....Pages 235-244
CTIT Research Alliances for Telematics....Pages 245-246
Crossborder Cooperation on Multimedia Distance Learning: the ELECTRA Project in TheEuregion Meuse-Rhine....Pages 247-256
Die Trierer Informatik-Bibliographie DBLP....Pages 257-266
Bildungsinitiative Neue Medien....Pages 267-276
Interdisziplinäre Modelle für Entwurf und Einsatz telematischer Systeme....Pages 277-286
Medizinische Multimedia-Applikationen und Telemedizin basierend auf drahtlosem ATM....Pages 287-296
PRISMA — Ein Informationssystem für Moderne Kunst im Internet....Pages 297-306
Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestutzten Entwurf hochintegrierter Schaltkreise....Pages 307-316
Anwendungen Constraint basierter Programmierung....Pages 317-326
Front Matter....Pages 213-213
Mit MOBILEIT-S integrierte Fertigungsleitsysteme flexibel modellieren....Pages 427-435
Kundenspezifische interakfive Konfiguration von Telekommunikationssystemen....Pages 436-445
EPK-fix: Software-Engineering and Werkzeuge für elektronische Produktkataloge....Pages 446-455
Seminar/Praktikum Management von Informatik Projekten....Pages 335-344
Frauen auf dem Weg, das Image der Informatik zu verändern....Pages 345-354
Informatik an Schulen....Pages 355-356
Massnahmen zur Informatik-Förderung in der Schweiz....Pages 357-359
Online-Dienste als Plattform für elektronische Marktplätze: Auswertung der Erfahrungen and SchluBfolgerungen für aktuelle Vorhaben im Internet....Pages 360-369
Partizipation and Kontext bei der Erstellung einer Telekooperationsumgebung Erfahrungen aus dem Projekt Cuparla....Pages 370-379
Auswirkungen Des Einsatzes Von Informationstechnologien Auf Organisations- Und Beschäftigungsstrukturen Im Bankwesen....Pages 380-381
Informatikzentren für Spitzenmanager — ein aktuelles weltweites Beratungs- und Marketingkonzept....Pages 382-387
Risikominimierung bei der Einführung neuer Softwaretechnologien in der industriellen Praxis durch externe Experiment ierfelder....Pages 388-397
Chip Design at Mitsubishi Semiconductor Europe GmbH....Pages 398-398
PSYLOCK — Identifikation eines Tastaturbenutzers durch Analyse des Tippverhaltens....Pages 327-334
Architecture and Search Organization for Large Vocabulary Continuous Speech Recognition....Pages 456-465
Sprachunterstützung zur Programmierung von Multiprozessorsystemen mit Shared Virtual Memory....Pages 466-475
Interaktive photorealistische Bildgenerierung durch effiziente parallele Simulation der Lichtenergieverteilung....Pages 476-485
Analyse und Gestaltung Universitärer Geschäftsprpozesse und Anwendungssysteme....Pages 399-408
Internationalisierung von ICIS, eines Referenzmodells and -anwendungssystems für den Versicherungsmarkt....Pages 409-416
Software-Prozeßmodellierung and -Durchführung — Schwierigkeiten des Technologietransfers....Pages 417-426
Front Matter....Pages 213-213
Innovation im Bayerischen Forschungszentrum für Wissensbasierte Systeme (FORWISS): Strategien und Erfahrung....Pages 486-491
Persistent Object Systems: From Technology to Market....Pages 492-500
Überleben in einer turbulenten Umwelt — Genossenschaft als Bindeglied und Drehscheibe für die Erschließung und Entwicklung neuer Anwendungen....Pages 501-502
Innovation durch Kooperation im Software-Engineering....Pages 503-503
Research in the SIKS Research School....Pages 505-505
Die Innovationsoffensive Informationstechnik/Telematik für die Region Ostwürttemberg, Donau-Iller, Bodensee-Oberschwaben....Pages 506-507
 Verbundprojekt: Schnelle Netze Nutzung und Entwicklung der Datenübertragung mit Hoch- und Höchstgeschwindigkeit....Pages 508-509
Realisierung eines verteilten Objektsystems als Basis für produktionsnahe Softwaresysteme....Pages 510-511
Industrielles Fehlermanagement mit objektorientierten Technologien....Pages 512-513
Binocular Information Processing in the Owl....Pages 514-515
Orientierungs- und Benutzerunterstfüftung in Web-Dokumenten....Pages 516-517
Front Matter....Pages 519-519
Zum Nutzen sequentieller Kontrollabstraktionen....Pages 522-531
Using Quasi Ordered Sets to Model Program Properties Denotationally....Pages 532-541
M — eine typisierte, funktionale Sprache für das Programmieren-im-Großen....Pages 542-551
Functional Object-Oriented Programming with Object-Gofer....Pages 552-561
From Inheritance to Feature Interaction or Composing Monads....Pages 562-571
Benefits of Hypergraphs for Program Transformation....Pages 572-581
Program Generation with Class....Pages 582-591
Typanalyse in ungetypten objekt-orientierten Sprachen....Pages 592-601
Formal Specification Techniques for Object-Oriented Programs....Pages 602-611
Front Matter....Pages 519-519
Workshop “Komplexitätstheorie, Datenstrukturen and Efziente Algorithmen”....Pages 624-625
Entwurf und prototypische Implementierung einer objektorientierten funktionalen Programmiersprache....Pages 612-621
Rechnergestützte Kooperation in Verwaltungen und großen Unternehmen....Pages 622-623
Workshop: Software-Engineering für Multimedia-Systeme....Pages 631-631
Workshop Grundlagen der Parallelität....Pages 626-626
Workshop ”Multimedia-Technik für die Forschung”....Pages 630-630
Workshop Multimedia Technology in Medical Training....Pages 629-629
Workshop Arbeirsplatzrechner-Integration zur Prozeßverbesserung....Pages 627-628