Articles liés à Formal Specification using Z

Formal Specification using Z - Couverture souple

Lightfoot, David

 
9780333763278: Formal Specification using Z
Couverture souple
ISBN 10 : 0333763270 ISBN 13 : 9780333763278
Editeur : Red Globe Press, 2000

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l'auteur

DAVID LIGHTFOOT is currently a Senior Lecturer in the School of Computing and Mathematical Sciences at Oxford Brookes University, UK.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Red Globe Press
Date d'édition
2000
Langue
anglais
ISBN 10 
0333763270
ISBN 13 
9780333763278
Reliure
Broché
Numéro d'édition
2
Nombre de pages
180
Coordonnées du fabricant
non disponible
Personne responsable
non disponible