Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL

Formal specification is a basis for rigorous software implementation. VDM-SL is a formal specification language with an extensive executable subset. Successful cases of VDM-family including VDM-SL have shown that producing a well-tested executable specification can reduce the cost of the implementat...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2023-03
Hauptverfasser:	Oda, Tomohiro, Dur, Gaël, Ducasse, Stéphane, Macedo, Hugo Daniel
Format:	Artikel
Sprache:	eng
Schlagworte:	Formal specifications Multiagent systems Semantics Specification and description languages
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!