Auflistung nach Schlagwort "algebraic specification"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragModellieren mit Heraklit(Modellierung 2022, 2022) Fettke, Peter; Reisig, WolfgangHeraklit ist ein laufendes Forschungsprogramm und Entwicklungsprojekt mit dem Ziel der Schaffung einer Infrastruktur zur Modellierung großer, rechnerintegrierter Systeme. Wir diskutieren die zentralen Anforderungen an solche Modelle (Hierarchien, Nutzersicht, Überführung informaler in formale Ideen, schematische Modelle, gleichrangiger Umgang mit digitalisierten und personengebundenen Prozessen) und erläutern, wie Heraklit diese Anforderungen unterstützt. Eine Fallstudie zeigt die Nutzbarkeit von Heraklit in der Praxis.