Informatik _ Wirtschaft _ Gesellschaft: 23. Gi _ Jahrestagung, Dresden, 27. September - 1. Oktober 1993 (informatik Aktuell) (german And English Edition)

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