Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes: * Data refinement and its application to Z* Generalisations of refinement that change the interface and atomicity of operations* Refinement in Object-Z* Modelling state and behaviour by combining Object-Z with CSP Refinement in Z and Object-Z: Foundations and...
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applic...
It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.
It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in differ...
