Name: The B-Method von Steve Schneider
SKU: 9780333792841
Price: 23.00 CHF
Availability: InStock

The B-Method Zusammenfassung

The B-Method Steve Schneider

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.

The B-Method Bewertungen

'For a typically structured UK third year, one-semester undergraduate course, Steve Schneider's book with its supporting material offers a product that a lecturer can simply take out of the box and use directly. The completeness and thoroughness of coverage are very impressive, and the clarity of the exposition is exceptional. This book could go a long way towards making the B-Method more accessible to a wider range of computer science students than has been the case hitherto, and I can recommend it with enthusiasm.' - Richard Banach, Manchester University, The Journal of Software Testing, Verification and Reliability

Über Steve Schneider

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.

Inhaltsverzeichnis

Preface.- Introducing Abstract Machines.- Review of Set Theory and Logic.- Weakest Preconditions.- Towards Machine Consistency.- Parameters, Sets and Constants.- Relations.- Functions and Sequences.- Arrays.- Nondeterminism.- Structuring with INCLUDES.- Structuring with SEES and USES.- Data Refinement.- Refinement of Nondetermnism.- Proof Obligations for Refinements.- Loops.- Implementation Machines.- Case Study: Heapsort.- Library Machines.- Answers to SelfTests.- Appendix A: Generalised Substitution Language.- Appendix B: Machine Readable AMN .- Index.- Index of Machines.

Zusätzliche Informationen

Sku

GOR013322544

ISBN 13

9780333792841

ISBN 10

033379284X

Titel

The B-Method Steve Schneider

Autor

Steve Schneider

Serien

Cornerstones of Computing

Zustand

Gebraucht - Wie Neu

Bindung

Broschiert

Verlag

Palgrave Macmillan

Datum

20011019

Anzahl der Seiten

384

Preise

N/A

Begleitschreiben

Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden.

Hinweis

Das Buch wurde gelesen, ist aber in gutem Zustand. Alle Seiten sind intakt, der Einband ist unversehrt. Leichte Gebrauchsspuren am Buchrücken. Das Buch wurde gelesen, sieht jedoch noch wie neu aus. Der Bucheinband weist keine sichtbaren Gebrauchsspuren auf. Gegebenenfalls ist auch ein Schutzumschlag verfügbar. Keine fehlenden oder beschädigten Seiten, keine Risse, eventuell minimale Knicke, keine unterstrichenen oder markierten Textstellen, keine beschrifteten Ränder.