Refinement in z and object-z: foundations and advanced applications
Auteur :
Derrick, John / Boiten, Eerke A.
Éditeur :
Springer London Ltd
ISBN :
9781447161677
Date de publication :
23 août 2015
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refinement in Object-Z; and modelling state and behaviour by combining Object-Z with CSP.