000			01480nam a22001937a 4500
005			20250706104225.0
008			250706b |||||||| |||| 00| 0 eng d
020			_a9781852332457 _qpbk
041			_aeng
082			_a005.117 _bDER
100			_aDerrick John
245			_aRefinement In Z And Object-z _b: foundations and advanced applications _cJohn Derrick, Eerke Boiten
260			_aLondon _b Springer, _c , ©2001
300			_axviii; 466 p. _c24 cm.
504			_aindex
520			_aRefinement 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; - and modelling state and behaviour by combining Object-Z with CSP. Refinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students
650			_a Object-z Object-oriented Programming (Computer Science)
942			_cREF
999			_c574858 _d574858