Formale Modelle für Informationssysteme

Keyphrases

Publications

1979

Günter Stübel
ISAC - eine formale Methode zur rechnergestützten Beschreibung von Betriebsabläufen. Formale Modelle für Informationssysteme (1979)
Wolfgang Reisig
Zur Verwendung von Petrinetz-Morphismen bei der System-Konstruktion. Formale Modelle für Informationssysteme (1979)
Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski
Modelling a Solution for a Control Problem in Distributed Systems by Restrictions. Formale Modelle für Informationssysteme (1979)
Helmut Thoma
Leistungsaspekte bei Datenbanksystemen. Formale Modelle für Informationssysteme (1979)
Wolfgang Effelsberg, Theo Härder, Andreas Reuter
Leistungsanalyse von Datenbanksystemen durch Messung, analytische Modelle und Simulation. Formale Modelle für Informationssysteme (1979)
Beate Commentz-Walter, Hans-Jörg Schek
Methoden und Algorithmen zur automatischen Informationsverwaltung. Formale Modelle für Informationssysteme (1979)
Hartmut Ehrig, Hans-Jörg Kreowski, Herbert Weber
Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme. Formale Modelle für Informationssysteme (1979)
Gert Scheschonk
Zur Modellierung von Systemen auf der Basis der Nebenläufigkeit. Formale Modelle für Informationssysteme (1979)
Günter Schwichtenberg
Formale Beschreibungsmittel für offene Kommunikationssysteme im Rahmen von Normungsvorhaben. Formale Modelle für Informationssysteme (1979)
Heinrich P. Godbersen
Funktionsnetze - Ein Ansatz zur Beschreibung, Analyse und Simulation soziotechnischer Systeme. Formale Modelle für Informationssysteme (1979)
Hans-Jürgen Ehling
Evolutionärer System-Entwurf. Formale Modelle für Informationssysteme (1979)
Kurt Bauknecht
Simulationstechnik. Formale Modelle für Informationssysteme (1979)
Rainer Bischoff
Ein Ansatz zur rechnergestützten Modellierung betrieblicher Informationssysteme. Formale Modelle für Informationssysteme (1979)
Hartmut Noltemeier
Graphentheoretische Modelle und Methoden. Formale Modelle für Informationssysteme (1979)
Dieter Gernert
Möglichkeiten und Probleme der Integration von Daten- und Methodenbanken. Formale Modelle für Informationssysteme (1979)

volume 21, 1979

Formale Modelle für Informationssysteme, GI-Fachtagung, 24.-26. Mai 1979, Tutzing, Deutschland Formale Modelle für Informationssysteme 21 (1979)