B Method presents the B method (language and semantic) and the methodology to use it on real projects. The B method is one of the well known, formal methods used in railway from 1998 and has been deployed on many projects. B method languageB method semanticMethodology applied on real projects INDICE: 1. Introduction to Formal Method2. Set, Function and Sequence3. Component and Abstract Machine4. Substitution 5. Refinement6. From Abstract to Concrete7. Obligation Proof8. Implementation of Basic Algorithm 9. Complexes Examples10. Process Based on B-Method11. Tools12. Conclusion
- ISBN: 978-1-78548-156-7
- Editorial: ISTE Press - Elsevier
- Encuadernacion: Cartoné
- Páginas: 300
- Fecha Publicación: 20/11/2017
- Nº Volúmenes: 1
- Idioma: Inglés