|
|
|||
|
||||
OverviewB 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 DetailsAuthor: 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: 9781785481567ISBN 10: 1785481568 Pages: 300 Publication Date: 01 December 2020 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Not yet available 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 Contents1. 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. ConclusionReviewsAuthor InformationJean-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 6Author Website:Countries AvailableAll regions |