000 02277cam a2200217 a 4500
001 vtls001929160
003 MY-SjTCS
005 20200226121350.0
008 110218s1997 enk 00 0 eng
020 _a0521559766
039 9 _a201209131746
_bizani
_c201102181409
_dVLOAD
_y200407271917
_zVLOAD
082 0 4 _a005.12
_bJAC
100 1 _aJacky, Jonathan.
_911548
245 1 4 _aThe way of Z :
_bpractical programming with formal methods /
_cJonathan Jacky.
260 _aCambridge [U.K.] :
_bCambridge University Press,
_c1997.
300 _axviii, 350 p. ;
_c25 cm.
505 0 _aPreface. - I. Why Z? 1. Formal methods. 2. Why Use Formal Methods? 3. Formal methods and project management. Further reading. - II. Introducing Z. 4. What is Z? 5. A first example in Z. 6. From prose to Z: control console. 7. Introducing schemas: text editor. Further reading. - III. Elements of Z. 8. Elements. 9. Structure. 10. Logic. 11. Synthesis. 12. Schemas and schema calculus. 13. Schema types and bindings. 14. Generic definitions and free types. 15. Formal reasoning. Further reading. - IV. Studies in Z. 16. Document control system. 17. Text processing. 18. Eight queens. 19. Computer graphics and computational geometry. 20. Rule-based programming. 21. Graphical user interface. 22. Safety-critical protection system. 23. Modelling large systems. 24. Object-oriented programming. 25. Concurrency and real time. Further reading. - V. Programming with Z. 26. Refinement. 27. Program derivation and formal verification. 28. From Z to code. Further reading. - A. Glossary of Z notation. - B. Omitted features. - C. Operator precedence - D. The Z mathematical tool-kit. - E. Selected Laws. - F. Solutions to selected exercises. - G. Other formal notations. - Bibliography. - Index.
520 _aThis book is a self-contained tutorial on the formal notation Z (pronounced "zed") for experienced professionals and serious students in programming, software engineering and computer science ... The book includes exercises with solutions, reference materials, and a guide to further reading directing readers to more case studies, experience reports, and other formal notations and methods. - Back cover.
650 0 _aZ (Computer program language)
_96733
920 _aSOCIT : 560480
999 _c181582