+- Softwarez.Info - Software's World! (https://softwarez.info)
+-- Forum: Library Zone (https://softwarez.info/Forum-Library-Zone)
+--- Forum: E-Books (https://softwarez.info/Forum-E-Books)
+--- Thread: The B Language and Method A Guide to Practical Formal Development (/Thread-The-B-Language-and-Method-A-Guide-to-Practical-Formal-Development)
The B Language and Method A Guide to Practical Formal Development - ebooks1001 - 12-27-2024
![[Image: ea14630bf3cb355a1450570339d47c1b.webp]](https://i124.fastpic.org/big/2024/1227/1b/ea14630bf3cb355a1450570339d47c1b.webp)
Free Download The B Language and Method: A Guide to Practical Formal Development By Kevin Lano BSc, MSc, PhD (auth.)
1996 | 232 Pages | ISBN: 3540760334 | PDF | 9 MB
B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.
Recommend Download Link Hight Speed | Please Say Thanks Keep Topic Live
Links are Interchangeable - Single Extraction