Formale Modelle für Informationssysteme
GI-Fachtagung, 24.-26. Mai 1979, Tutzing
Published on 12. March 2013
VI, 266 pages
978-3-642-67485-3 (ISBN)
Description
More details
Other editions
Additional editions
H. C. Mayr | B. E. Meyer
Formale Modelle für Informationssysteme
GI-Fachtagung, 24.-26. Mai 1979, Tutzing
Book
10/1979
1st Edition
Springer
€54.99
Shipment within 10-15 days
Content
Modelle für die Praxis.- Simulationstechnik.- ISAC - eine formale Methode zur rechnergestützten Beschreibung von Betriebsabläufen.- Ein Ansatz zur rechnergestützten Modellierung betrieblicher Informationssysteme.- Evolutionärer System-Entwurf.- Integration und Bewertung von Informationssystemen.- Möglichkeiten und Probleme der Integration von Daten- und Methodenbanken.- Leistungsanalyse von Datenbanksystemen durch Messung, analytische Modelle und Simulation.- Leistungsaspekte bei Datenbanksystemen.- Methoden und Algorithmen zur automatischen Informationsverwaltung.- Beschreibungsmethoden.- Graphentheoretische Modelle und Methoden.- Neue Aspekte algebraischer Spezifikationsschemata für Datenbanksysteme.- Modelling a Solution for a Control Problem in Distributed Systems by Restrictions.- Formale Beschreibungsmittel für offene Kommunikationssysteme im Rahmen von Normungsvorhaben.- Netztheorie.- Zur Verwendung von Petrinetz-Morphismen bei der System-Konstruktion.- Zur Modellierung von Systemen auf der Basis der Nebenläufigkeit.- Funktionsnetze - Ein Ansatz zur Beschreibung, Analyse und Simulation soziotechnischer Systeme.
