Verwandte Artikel zu The B-Method (Cornerstones of Computing)

The B-Method (Cornerstones of Computing) - Softcover

Schneider, Steve

 
9780333792841: The B-Method (Cornerstones of Computing)
Softcover
ISBN 10: 033379284X ISBN 13: 9780333792841
Verlag: Red Globe Press, 2001

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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.

Von der hinteren Coverseite

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
· Associated teaching materials 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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Red Globe Press
Erscheinungsdatum
2001
Sprache
Englisch
ISBN 10 
033379284X
ISBN 13 
9780333792841
Einband
Taschenbuch
Anzahl der Seiten
384
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar