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 BibTeX

@proceedings{DBLP:conf/mmb/1979,
  editor    = {Heinrich C. Mayr and
               Bernd E. Meyer},
  title     = {Formale Modelle f{\"u}r Informationssysteme, GI-Fachtagung,
               24.-26. Mai 1979, Tutzing},
  booktitle = {Formale Modelle f{\"u}r Informationssysteme, GI-Fachtagung,
               24.-26. Mai 1979, Tutzing},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {21},
  year      = {1979},
  isbn      = {3-540-09773-2},
  crossref  = {DBLP:conf/mmb/1979},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Modelle für die Praxis

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

Integration und Bewertung von Informationssystemen

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

Beschreibungsmethoden

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

Netztheorie

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