B Method
Autor Jean-Louis Boulangeren Limba Engleză Hardback – 30 noi 2020
- Covers the B method language
- Includes methodologies applied on real projects
Preț: 564.02 lei
Preț vechi: 896.48 lei
-37% Nou
Puncte Express: 846
Preț estimativ în valută:
107.94€ • 112.45$ • 89.75£
107.94€ • 112.45$ • 89.75£
Carte nepublicată încă
Doresc să fiu notificat când acest titlu va fi disponibil:
Se trimite...
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781785481567
ISBN-10: 1785481568
Pagini: 300
Dimensiuni: 152 x 229 mm
Editura: ELSEVIER SCIENCE
ISBN-10: 1785481568
Pagini: 300
Dimensiuni: 152 x 229 mm
Editura: ELSEVIER SCIENCE
Cuprins
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
Descriere
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.
- Covers the B method language
- Includes methodologies applied on real projects
Notă biografică
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.