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.
This book covers data refinement and its application to Z; generalisations of refinement that change the interface and atomicity of operations; refine...