Informatik — Wirtschaft — Gesellschaft: 23. GI — Jahrestagung, Dresden, 27. September – 1. Oktober 1993

Front Matter....Pages I-XVII
Front Matter....Pages 1-1
The Redefinition of the Computer Industry....Pages 3-16
Wissensbasierte Systeme: Vom Labor in die Anwendung....Pages 17-17
Die Schaffung zukunftsweisender Verwaltungsstrukturen als Gestaltungsprozeß....Pages 18-28
Korrekte Software: Vom Experiment zur Anwendung....Pages 29-43
Frauen und Informatik? Kontroversen um geschlechtsbasierte Orientierungen in der Informatik....Pages 44-55
Ohne Pinsel, Ölfarbe und Leinwand. Entwicklungstendenzen der künstlichen Kunst....Pages 56-70
Front Matter....Pages 71-71
Innovative Informationssysteme — Orientierung an Architekturen und Ausrichtung auf die Wettbewerbsfähigkeit (Fachbereich 5 Wirtschaftsinformatik)....Pages 73-73
Zur Begriffsvielfalt bei Informationssystem-Architekturen: Ein Vorschlag für eine einheitliche Terminologie....Pages 74-80
Aufbau und Inhalt einer System-Architektur für Kreditinstitute....Pages 81-86
Eine Architektur für das Management öffentlicher Kommunikationsdienste....Pages 87-92
Objektorientierte Anwendungsentwicklung und relationale Datenbanktechnologie: Eine Überbrückung zwischen Schichten von Informationssystemarchitekturen....Pages 93-98
Darstellung und Vergleich ausgewählter Methoden zur Bestimmung von IS-Architekturen....Pages 99-104
Wettbewerbswirkungen durch IV-Systeme — Empirische Befunde und Systematisierung —....Pages 105-110
Strategische Informationssysteme und Electronic Data Interchange....Pages 111-116
Durch Computerunterstütztes Lernen zu Wettbewerbsvorteilen in der unternehmensexternen Kommunikation....Pages 117-122
Multimediale Kundenselbstbedienung im Bankgeschäft....Pages 123-129
Diamond....Pages 130-137
Organisation eines ganzheitlichen Informationsmanagements — Orientierung an den Kernkompetenzen einer Unternehmung....Pages 138-143
Personal- und sozialgerechte (Um-) Gestaltung von Informationsprozessen (Fachbereich 5 Wirtschaftsinformatik)....Pages 144-144
STEPS — ein softwaretechnischer Projektansatz und seine arbeitswissenschaftliche Begründung....Pages 145-150
Front Matter....Pages 71-71
Aufgabenorientierte Assistenz in Projektspezifischen Entwicklungsprozessen....Pages 151-156
Benutzergerechte, aufgabenangemessene und effiziente Leitstände....Pages 157-162
Arbeitsorientierte Gestaltung von Informationsprozessen....Pages 163-168
Ein Modell zur sozialgerechten Integration von Qualitätsprozessen im Projekt WibQus....Pages 169-174
Organisations- und Dispositionsspielräume und ihre Bedeutung für die Gestaltung vernetzter Systeme....Pages 175-180
Ein Ansatz zur Unterstützung von Prozessen der diskursiven Entscheidungsfindung....Pages 181-188
Aushandelbarkeit und aktive Objekte....Pages 189-194
Qualifikationsgerechte Unterstützung durch offene Arbeitsumgebungen — Leitideen für Werkzeuge der Logistikplaner....Pages 195-200
Anwendungsgerechte Funktionalität von DV-Systemen: Simultanes und an Prozessen orientiertes Arbeiten....Pages 201-206
Mitarbeiterbeteiligung bei der Einführung eines neuen CAD-Systems....Pages 207-213
Software Engineering und KI (Fachbereich 1 Künstliche Intelligenz)....Pages 213-213
Office Automation Systems that are “Programmed” by their Users....Pages 214-219
Reuse-Oriented Knowledge Engineering with MoMo....Pages 220-225
Entwurf und Verwendung eines Metamodells für die Projektierung von Vermittlungstechnik....Pages 226-231
Vorgehensmodelle und Methoden zur Systementwicklung....Pages 232-238
Entwicklung sicherer Software (Fachgruppe 0.1.7 Semantik und Spezifikationen und Fachgruppe 2.1.4 Alternative Konzepte für Sprachen und Rechner)....Pages 239-239
Korrekte Software: Nur eine Illusion?....Pages 240-240
Towards Correctness, Efficiency and Reusability of Transformational Developments....Pages 241-246
Generische Sprachen in Systemen zur formalen Softwareentwicklung — Extended Abstract —....Pages 247-252
Systematischer Software-Test mit der Klassifikationsbaum-Methode....Pages 253-259
Front Matter....Pages 71-71
Formale Spezifikationen zur Auswertung von Testergebnissen....Pages 260-265
KORSO: Das Verbundprojekt “Korrekte Software”....Pages 266-271
IT-gestützte Verwaltungsarbeit: Aus Erfahrung lernen — neue Wege beschreiten? (Fachbereich 6 Informatik in Recht und öffentlicher Verwaltung)....Pages 272-272
Konversionsprobleme der Rechtsinformatik nach der deutschen Vereinigung....Pages 273-278
IT-gestützte Organisationsentwicklung in neuen und alten Bundesländern....Pages 279-282
Modellierung von Verwaltungsvorgängen....Pages 283-288
Datenschutz und Bürokommunikationssysteme in der öffentlichen Verwaltung....Pages 289-295
Ergonomische Gestaltung und menschengerechter Einsatz von CAD-Systemen (FG 2.3.1 Software-Ergonomie, FG 4.2.1 Rechnergestütztes Entwerfen und Konstruieren (CAD), FA 8.2 Informationstechnik in der industriellen Arbeit)....Pages 296-296
Visuelle Programmiersprachen und Systeme (Fachbereich 1 Künstliche Intelligenz)....Pages 297-297
Programmvisualisierung bei Sprachen der 4. Generation....Pages 298-303
Visuelle Spezifikation des Kerns objektorientierter Applikationen....Pages 304-309
Eine Architektur zur Visualisierung von Datenstrukturen....Pages 310-315
Deklarative Spezifikation visueller Sprachen durch graphische Beispiele oder Ein Bild sagt mehr als tausend Formeln....Pages 316-321
Visualisierungen und Benutzungsschnittstellen: Anwendungen und Forschungsfragen....Pages 322-327
VisaVis Eine funktionale visuelle Programmiersprache höherer Ordnung....Pages 328-333
Spezifikation von Diagrammeditoren mit automatischer Layoutanpassung....Pages 334-339
Cube: Eine dreidimensionale visuelle Programmiersprache....Pages 340-345
Sicherheitsbewertung von IT-Systemen (Fachgruppe 2.5.3 Verläßliche Informationssysteme)....Pages 346-346
IT Security Evaluation Improvement by Application of Testing....Pages 347-353
Formale Spezifikation generischer ITSEC-Funktionalitätsklassen....Pages 354-364
Front Matter....Pages 71-71
Organisation der Informationsversorgung im Unternehmen unter besonderer Berücksichtigung von Unternehmen in den neuen Bundesländern (Fachbereich 5. Wirtschaftsinformatik)....Pages 365-365
Neustrukturierung der Informationsverarbeitung in den ostdeutschen Bundesländern....Pages 366-371
Organisation der Informationsversorgung im Unternehmen — Sind Outsourcing und Downsizing aktuelle Themen?....Pages 372-374
DV-Versorgung an Hochschulen....Pages 375-380
IV-Controlling beim Einsatz moderner Informations- und Kommunikationssysteme im Unternehmen — Ergebnisse einer empirischen Untersuchung —....Pages 381-386
Stab oder Linie? — Aufgabengerechte Gestaltung der Organisationsstruktur des Informationsmanagements....Pages 387-393
Entwicklung eines Führungsinformationssystems als verteilter Hypertext auf Client/Server-Basis....Pages 394-399
Entwicklung objektorientierter Software (Fachgruppe 2.1.1 Software-Engineering)....Pages 400-400
Wiederverwendung von Analyseergebnissen durch den Einsatz von objektorientierten Problembereichsmodellen....Pages 401-406
Ein objcktorientierter Baukasten für CNC-Maschinen für die Zellsteuerung von flexiblen Fertigungszellen....Pages 407-414
Objektorientierte Softwareentwicklung im Rahmen eines Ausbildungsprojektes....Pages 415-420
Erfahrungen mit Software-Metriken im objektorientierten Entwicklungsprozeß....Pages 421-426
Testen Objektorientierter Software....Pages 427-432
Erfahrungen bei objektorientierter SW-Entwicklung für ein großes Projekt: 10 Thesen....Pages 433-438
Informatik und die Künste (Fachgruppe 8.3.4 Informatik und Kultur)....Pages 439-439
Bilder in der Sprache....Pages 440-441
Grafische Notation menschlicher rhythmischer Bewegungen in einem interaktiven multimedialen System....Pages 442-443
Bildwelten der virtuellen Realität....Pages 444-449
Zur Ästhetik von Getting-lost-in-hyperspace....Pages 450-454
Künstlerische Darstellungssysteme für Bewegungsverläufe....Pages 455-462
Front Matter....Pages 71-71
Neue Paradigmen in Informationssystemen und Datenbanken: Deduktion, Verteilung, Objektorientierung (Arbeitskreis „Grundlagen von Informationssystemen“ im FA 2.5 in Zusammenarbeit mit FG 2.5.1 Datenbanken und FG 2.5.2 EMISA)....Pages 463-463
Zur Entwicklung zuverlässiger Informationssysteme in KorSo....Pages 464-469
Spezifikation und Verarbeitung von Ereignissen in aktiven Datenbanken....Pages 470-475
From Multi-User to Shared Object Systems: Awareness about Co-Workers in Cooperation Support Object Databases....Pages 476-481
OMNIS/Myriad: Elektronische Verwaltung und Publikation von multimedialen Dokumenten....Pages 482-487
Anwendung und Programmierung von verteilten und parallelen Rechnersystemen (FB 0 Grundlagen der Informatik und FB 3 Technische Informatik und Architektur von Rechnersystemen)....Pages 488-488
Massively Parallel Computing in a Production Environment iPSC/860 Installation at KFA Jülich....Pages 489-494
Simulation Neuronaler Netze auf Massiv Parallelen Rechnern....Pages 495-502
Objektorientierte Programmierung massiv paralleler MIMD-Computer....Pages 503-508
Multiagentenkoordination durch Marktmechanismen....Pages 509-514
Ein paralleler Kontrollalgorithmus für die wissensbasierte Bildanalyse....Pages 515-520
CoDraft: An Object-Based Drafting Tool on Top of Group Communication Services....Pages 521-526
Kooperation und Konkurrenz (Fachbereich 2 und Graduiertenkolleg „Kommunikationsbasierte Systeme“)....Pages 527-527
Combined Algebraic Specification Techniques for Concurrent and Distributed Systems....Pages 528-533
Programmierung fehlertoleranter, verteilter Echtzeitsysteme....Pages 534-539
Objektorientierter Entwurf verteilter Programme....Pages 540-544
Coordination and Logic Programming....Pages 545-550
Funktionale Programmierung für massiv parallele Systeme....Pages 551-556
Front Matter....Pages 557-557
Projekte und Erfahrungen der AKI (Arbeitsgemeinschaft der deutschen KI-Institute)....Pages 559-559
Verkaufs-Assistenten und Expertisesysteme....Pages 560-562
Front Matter....Pages 557-557
Logikbasierte Planerkennung für intelligente Hilfesysteme....Pages 563-565
Erfahrungen aus einem Projekt im Bereich der NC-Arbeitsplanung....Pages 566-568
Reconstructing the Collisions of Elementary Particles....Pages 569-571
Wissensbasierte Zeichnungsanalyse — Von Einzellösungen zu generischen Systemkomponenten....Pages 572-574