Formale Modelle für Informationssysteme 1979: Tutzing

Heinrich C. Mayr, Bernd E. Meyer (Eds.): Formale Modelle für Informationssysteme, GI-Fachtagung, 24.-26. Mai 1979, Tutzing. Informatik-Fachberichte 21 Springer 1979, ISBN 3-540-09773-2

Modelle für die Praxis

Kurt Bauknecht: Simulationstechnik. 1-24
Günter Stübel: ISAC - eine formale Methode zur rechnergestützten Beschreibung von Betriebsabläufen. 25-46
Rainer Bischoff: Ein Ansatz zur rechnergestützten Modellierung betrieblicher Informationssysteme. 47-68
Hans-Jürgen Ehling: Evolutionärer System-Entwurf. 69-93

Dieter Gernert: Möglichkeiten und Probleme der Integration von Daten- und Methodenbanken. 94-109
Wolfgang Effelsberg, Theo Härder, Andreas Reuter: Leistungsanalyse von Datenbanksystemen durch Messung, analytische Modelle und Simulation. 110-127
Helmut Thoma: Leistungsaspekte bei Datenbanksystemen. 128-148
Beate Commentz-Walter, Hans-Jörg Schek: Methoden und Algorithmen zur automatischen Informationsverwaltung. 149-169

Hartmut Noltemeier: Graphentheoretische Modelle und Methoden. 170-180
Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber: Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme. 181-198
Andrea Maggiolo-Schettini, Horst Wedde, Józef Winkowski: Modelling a Solution for a Control Problem in Distributed Systems by Restrictions. 199-201
Günter Schwichtenberg: Formale Beschreibungsmittel für offene Kommunikationssysteme im Rahmen von Normungsvorhaben. 202-219

Wolfgang Reisig: Zur Verwendung von Petrinetz-Morphismen bei der System-Konstruktion. 220-235
Gert Scheschonk: Zur Modellierung von Systemen auf der Basis der Nebenläufigkeit. 236-245
Heinrich P. Godbersen: Funktionsnetze - Ein Ansatz zur Beschreibung, Analyse und Simulation soziotechnischer Systeme. 246-265