


default search action
Formale Modelle für Informationssysteme 1979: Tutzing
- Heinrich C. Mayr, Bernd E. Meyer:

Formale Modelle für Informationssysteme, GI-Fachtagung, 24.-26. Mai 1979, Tutzing, Deutschland. 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
Integration und Bewertung von Informationssystemen
- 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
Beschreibungsmethoden
- 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 F. 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
Netztheorie
- 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














