E-Book, Deutsch, Band 21, 266 Seiten, eBook
Reihe: Informatik-Fachberichte
Mayr / Meyer Formale Modelle für Informationssysteme
1979
ISBN: 978-3-642-67485-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
GI-Fachtagung, 24.–26. Mai 1979, Tutzing
E-Book, Deutsch, Band 21, 266 Seiten, eBook
Reihe: Informatik-Fachberichte
ISBN: 978-3-642-67485-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.