Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning

The infrastructure upon which the functioning of society depends is composed of complex ecosystems of systems. Consequently, we must reason about the properties of such ecosystems, which requires that we construct models of them. There are very many approaches to systems modelling, typically buildin...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2024-11
Hauptverfasser:	Galmiche, Didier, Lang, Timo, Pym, David
Format:	Artikel
Sprache:	eng
Schlagworte:	Modelling Reasoning System effectiveness
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!