The B-Method (Cornerstones of Computing)

Schneider, Dr Steve

ISBN 10: 033379284X / ISBN 13: 9780333792841

Editore: Palgrave Macmillan, 2001

Riguardo questo articolo

Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.

Codice articolo rev9857755885

Dati bibliografici

• Titolo: The B-Method (Cornerstones of Computing)
• Editore: Palgrave Macmillan
• Data di pubblicazione: 2001
• Lingua: Inglese
• ISBN 10: 033379284X
• ISBN 13: 9780333792841
• Rilegatura: Brossura
• Condizione: Good
• Peso: 739,4 grammi

Descrizione articolo

Riassunto

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.

Informazioni sull?autore

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.