B Method

Author:   Jean-Louis Boulanger (Independent Safety Assessor (ISA) in the railway domain focusing on software elements)
Publisher:   ISTE Press Ltd - Elsevier Inc
ISBN:  

9781785481567


Pages:   300
Publication Date:   01 June 2019
Format:   Hardback
Availability:   Not yet available   Availability explained
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Our Price $266.51 Quantity:  
Add to Cart

Share |

B Method


Add your own review!

Overview

B Method presents the language needed, semantics and methodologies required to use the method on real projects. The B method is one of the well known formal methods used in railway systems safety going back to 1998 that has been deployed on many projects.

Full Product Details

Author:   Jean-Louis Boulanger (Independent Safety Assessor (ISA) in the railway domain focusing on software elements)
Publisher:   ISTE Press Ltd - Elsevier Inc
Imprint:   ISTE Press Ltd - Elsevier Inc
ISBN:  

9781785481567


ISBN 10:   1785481568
Pages:   300
Publication Date:   01 June 2019
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Not yet available   Availability explained
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Table of Contents

1. Introduction to Formal Method 2. Set, Function and Sequence 3. Component and Abstract Machine 4. Substitution 5. Refinement 6. From Abstract to Concrete 7. Obligation Proof 8. Implementation of Basic Algorithm 9. Complex Examples 10. Process Based on B-Method 11. Tools 12. Conclusion

Reviews

Author Information

Jean-Louis Boulanger is currently an Independent Safety Assessor (ISA) in the railway domain focusing on software elements. His research interests include requirements, software verification and validation, traceability and RAMS with a special focus on safety.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Spring Reading Guide

 

Spring Reading Guide catalogue for book recommendations

Shopping Cart
Your cart is empty
Shopping cart
Mailing List