5. GI Jahrestagung 1975: Dortmund

Jörg Mühlbacher (Ed.): GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975. Lecture Notes in Computer Science 34 Springer 1975, ISBN 3-540-07410-4

@proceedings{DBLP:conf/gi/1975,
  editor    = {J{\"o}rg M{\"u}hlbacher},
  title     = {GI - 5. Jahrestagung, Dortmund, 8.-10. Oktober 1975},
  booktitle = {GI Jahrestagung},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {34},
  year      = {1975},
  isbn      = {3-540-07410-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Hauptvorträge

Peter C. Lockemann: Information Systems: A Survey by Examples. 3-34
Robert L. Ashenhurst: The Problem of Requirements Analysis for Information Systems Applications. 35-48
Hans-Otto Leilich: Speichertechnik und Rechnerarchitektur. 49-56
Konrad Zuse: Mathematische Logik und Informatik. 57-70
Grzegorz Rozenberg: L Systems, Sequences and Languages. 71-84
Lutz Richter: Rechnernetzwerke - Möglichkeiten und Grenzen. 85-93
Hartmann J. Genrich: Belästigung der Menschen durch Computer. 94-105

Dialogsysteme

Friedrich Gebhardt: Bewertung von Dialogsystemen zum Dokumenten-Retrieval. 109-117
K.-H. Dreckmann, G. Hofmann: Ein Programmsystem zur Erfassung von Daten aus komplex strukturierten Tabellen. 118-132
R. Erbe, Georg Walch: Ein Dialogsystem zur Methodensuche. 133-147

Transitionsnetze

Eike Best, Hans Albrecht Schmid: Martierte Petrinetze und Sigma-Teilsysteme. 151-161
Eike Hagen Riedemann: Introducing Parallelism into Sequential Programs. 162-175

Grundlagen der Programmierung

Giorgio De Michelis, Carla Simone: Well Formed Programs Optimal with Respect to Structural Complexity. 179-195
M. Maiocchi, Roberto Polillo: Merging Control-Flow and Data-Flow Descriptions of Structured Systems in a Unique Notation. 196-204
C. Daquin, C. Girault: The Construction of Types of Abstract Machines in SIMAC. 205-217

Datenbankmodelle

Horst Biller, Wolfgang Glatthaar: On the Semantics of Data Bases: The Semantics of Data Definition Languages. 221-234
Claude Frasson: A System to Increase Data Independence in a Hierarchical Structure. 235-246
Gunter Schlageter: Zugriffssynchronisation in Datenbanksystemen. 247-258

Automatentheorie

Jerzy W. Grzymala-Busse: Problems of the Change of Operating Time of Finite Automata. 261-268
Ingrid Brüchner: Zur Konstruktion von Decodierautomaten. 269-279
Burchard von Braunmühl: Zwei-Zähler-Automaten mit gekoppelten Bewegungen. 280-289
Dietmar Wätjen: Darstellung der Kategorie der determinierten Automaten als algebraische Kategorie. 290-294

Rechnerverbund/Einzelvorträge

Donald R. Innes, S. H. Leong, M. D. Langfield, James L. Alty: Experience of a Departmental Computer Support Network. 297-309
Hagen Hultzsch: Laborautomatisierung und Experimentkontrolle in einem hierarchisch strukturierten Computerverbund. 310-318
Wolfgang Straßer: Schnelle Digitale Komponenten für grafische Sichtgeräte. 319-332
H. Petersen, Norbert Vorstädt: Zur Strukturierung mehrstufiger Mustererkennungssysteme. 333-347

Implementierung von Datenstrukturen

E. Baar, G. Deprez: SYSFAP - An Integrated System for Application Programs and Data Base Management. 351-365
Paul F. Rennert: Automatische Analyse und Prüfung von Eingabedaten. 366-378
Theo Härder: Implementierung von Zugriffspfaden durch Bitlisten. 379-393

Formale Sprachen

Dietrich Thimm: Kombination von sackgassenfreier Topdown- und Bottomup-Syntaxanalyse. 397-408
Harry Feldmann: Generierung kontextsensitiver Sprachen durch hyperbeschränkte zweischichtige Grammatiken mit einem Metazeichen. 409-419
Manfred Opp: Allgemeine Sigma-Grammatiken. 420-428

Betriebssysteme I

Thomas Flick, H. Liebig: Dynamische Speicherverwaltung durch Hardware. 431-444
Peter Kammerer: Neue strukturierte Sprachkonzepte zur Prozessynchronisation. 445-461
L. Stewen: Auswertungsnetze als Hilfsmittel zur Modellbildung: Probleme und deren Lösungen. 462-474

Aspekte zu Programmiersprachen

P. Nawrot, Peter Rechenberg: Eine statistische Analyse der statischen Eigenschaften von PL/I-Programmen. 477-490
Giorgio Levi, Franco Sirovich: Pattern Matching and Call by Pattern. 491-499
Leendert Ammeraal: On the Design of Programming Languages Including Mini ALgol 68. 500-504

Schaltwerke

Winfried Görke: Asynchrone Schaltwerksimulation mit SSM, einer Simulationssprache für Schaltwerke mittels mehrwertiger Logik. 507-522
Claudio Moraga: Polynomial Separation of Ternary Functions. 523-533
Wolfgang Coy: Universelle Klassen O(log(MN))-testbarer iterativer und sequentieller Schaltungen. 534-544

Warteschlangenmodelle

Alexandre Brandwajn: A Model of a Time-Sharing System with two Classes of Processes. 547-566
Paul J. Kühn: Zur Optimalen Steuerung des Multiprogramminggrades in Rechnersystemen mit virtuellem Speicher und Paging. 567-580
Bernd Meister: Ein zeitdiskretes Wartesystem mit unterbrechenden Prioritäten. 581-592

Computergestützter Unterricht

H. Nielinger: Ein modernes Netzwerkanalyseprogramm als begleitendes simuliertes Labor zu elektrotechnischen Vorlesungen. 595-600
R. Hansen, E.-G. Hoffmann, F. Simon: ALTID, eine Sprache für Lehr- und Informationsdialoge. 601-610
Arndt Bode: Entwurf und Einsatz eines portablen RGU-Systems für die Lernersteuerung: LEGIS. 611-623

Übersetzerbau

Johan Lewi, Karel De Vlaminck, J. Huens, Peter Mertens: SLS/1: A Translator Writing System. 627-641
Wilfried Koch, Christoph Oeters: An Abstract ALGOL 68 Machine and its Application in a Machine Independent Compiler. 642-653
Harald Ganzinger, Reinhard Wilhelm: Verschränkung von Compiler-Moduln. 654-665

Logische Systeme

Daniele Marini, Pierangelo Miglioli, Mario Ornaghi: First Order Logic as a Tool to Solve and Classify Problems. 669-679
Peter Raulefs: On Evaluating Recursion. 680-690
Brian R. Gaines: Analogy Categories, Virtual Machines, and Structured Programming. 691-699

Betriebssysteme II

K. Ecker: Kritischer Vergleich von Algorithmen für ein Scheduling-Problem. 703-714
Trân-Quôc-Tê: Performance of "Least Reference Probability" Paging Algorithm under Locality in Program Behavior. 715-735
Ladislav J. Kohout, Brian R. Gaines: The Logic of Protection. 736-751