Automatic Generation of an Operational CSP-Z Specification from an Abstract Temporal^Z Specification

Formal methods can be useful in developing distributed systems, in particular when critical applications are being developed. In this context, the purpose of this work is to define an automatic translation from an abstract formal specification using T emporal Z into an operational specification usin...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Gouasmi, T., Regayeg, A., Kacem, A. H.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	abstract specification Abstracts automatic translation Conferences Context Control systems CSP-Z Data models Grammar Mathematics operational specification TemporalZ
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!