Formale Modelle Für Informationssysteme: Gi-fachtagung, 24.-26. Mai 1979, Tutzing (informatik-fachberichte) (german Edition)

Front Matter....Pages I-VI Simulationstechnik....Pages 1-24 ISAC — eine formale Methode zur rechnergestützten Beschreibung von Betriebsabläufen....Pages 25-46 Ein Ansatz zur Rechnergestützten Modellierung Betrieblicher Informationssystem....Pages 47-68 Evolutionärer System-Entwurf....Pages 69-93 Möglichkeiten und Probleme der Integration von Daten- und Methodenbanken....Pages 94-109 Leistungsanalyse von Datenbanksystemen durch Messung, Analytische Modelle und Simulation....Pages 110-127 Leistungsaspekte bei Datenbanksystemen....Pages 128-148 Methoden und Algorithmen zur automatischen Informationsverwaltung....Pages 149-169 Graphentheoretische Modelle und Methoden....Pages 170-180 Neue Aspekte Algebraischer Spezifikationsschemata für Datenbanksysteme....Pages 181-198 Modelling a Solution for a Control Problem in Distributed Systems by Restrictions....Pages 199-201 Formale Beschreibungsmittel für offene Kommunikationssysteme im Rahmen von Normungsvorhaben....Pages 202-219 Zur Verwendung von Petrinetz-Morphismen bei der Systemkonstruktion....Pages 220-235 Zur Modellierung von Systemen auf der Basis der Nebenläufigkeit....Pages 236-245 Funktionsnetze....Pages 246-265 This software package generates numerical values of nearly 200 mathematical functions and function families, ranging from sines and cosines to Bessel functions and elliptic integrals. It complements the second edition of An Atlas of Functions.