B-Book - Assigning Programs to Meanings

Klappentext The definitive book on the B Method; essential for all working in formal methods and safety-critical software. Zusammenfassung The long-awaited B-Book is the standard reference for everything concerning the B Method! written by its inventor! J.-R. Abrial. Formal methods practitioners! computer scientists! and systems developers at last will have access to the definitive account of what will become one of the standard approaches to the construction of software systems. Inhaltsverzeichnis Tribute; Foreword; Introduction; Part I. Mathematics: 1. Mathematical reasoning; 2. Set notation; 3. Mathematical objects; Part II. Abstract Machines: 4. Introduction to abstract machines; 5. Formal definition of abstract machines; 6. Theory of abstract machines; 7. Constructing large abstract machines; 8. Examples of abstract machines; Part III. Programming: 9. Sequencing and loop; 10. Programming examples; Part IV. Refinement: 11. Refinement; 12. Constructing large software systems; 13. Examples of refinement; Appendixes; Index.

Product details

• Authors: J. R. Abrial, J-.R. Abrial, Jean-Raymond Abrial
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Paperback / Softback
• Released: 03.11.2005
• EAN: 9780521021753
• ISBN: 978-0-521-02175-3
• No. of pages: 816
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT