Formal Specification using Z
Buch in deiner Nähe kaufen
Beschreibung
Formal specification is a technique for specifying what is required of a computer system clearly, concisely and without ambiguity. Z is a leading notation for formal specification.
Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering. It is intended for non-mathematicians, and it introduces the ideas in a constructive style, building each new concept on the ones already covered. Each chapter is followed by a set of exercises, and sample solutions are provided for all of these in an appendix.
Clear, concise introduction, aimed at mathematical nonspecialists, building the material up gently but logically
NEW chapter on Refinement the process of developing specification through to a program
NEW chapter on future developments in formal methods with a brief introduction to 'B' and its associated software tools
Autor*in
David Lightfoot