Formale Modelle für Informationssysteme

GI-Fachtagung, 24.-26. Mai 1979, Tutzing

272 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Informatik-Fachberichte
• Themen: Informatik und Informationstechnologie Informatik
• ISBN: 9783540097730
• Sprache: Deutsch
• Erscheinungsdatum: 01.10.1979
• Größe: 244 x 170 mm
• Verlag: Springer
• Herausgegeben von: B. E. Meyer, H. C. Mayr