Derivation of Z functional input/output refinement proof rules

In this paper, we derive Z input/output data refinement rules, including forwards and backwards rules, for the case in which the retrieve schemas are total functions when viewed as relations from the concrete to abstract variables. In practice, the relation between the abstract and concrete variable...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Khalafinejad, Saeed, Mirian-Hosseinabadi, Seyed-Hassan
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Artificial intelligence Calculus Concrete Formal methods Formal specifications Functional Mathematical model Programming Refinement Software engineering
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!