The B-Method - Couverture souple

Schneider, Steve

Couverture souple

ISBN 10 : 033379284X ISBN 13 : 9780333792841

Editeur : Palgrave Macmillan, 2001

Synopsis

This book provides a textbook introduction to the B-Method, a rigorous methodology for the development of correct software. The text covers all stages of the B software development process - from specification, through refinement and design, down to implementation and automatic code generation. The method uses a single uniform notation throughout development, designed to enable verification at each stage whilst placing particular emphasis on correctness.

- Suitable for undergraduate and postgraduate courses on formal methods and software development
- Written in a clear tutorial style of explanation
- Contains numerous illustrative examples, exercises and self-testing questions with solutions throughout
- Relevant to users of any B-Method CASE tool
- Teaching materials available online

The B-Method: An Introduction also offers readers powerful tool support by providing a free licence for the B-Toolkit - an integrated toolset which supports and extends the entire B development lifecycle.

A propos du livre

À propos de l'auteur

STEVE SCHNEIDER is Professor of Computing in the Department of Computing, University of Surrey, UK. He has taught the B-method at undergraduate and postgraduate level over a number of years, and has published papers on B at international formal methods conferences and workshops.

Détails de l'édition

• Éditeur: Palgrave Macmillan
• Date d'édition: 2001
• Langue: anglais
• ISBN 10: 033379284X
• ISBN 13: 9780333792841
• Reliure: Broché
• Nombre de pages: 384
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible