Software engineering with B
Author(s)
Bibliographic Information
Software engineering with B
（International computer science series）
Addison-Wesley, c1996
Available at / 5 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 306-309) and index
Description and Table of Contents
Description
This is the definitive guide to software engineering with B - the generic name for the software development method, invented by Jean-Raymond Abrial, and for the language and CASE tool developed by B-Core (UK) Ltd. It is almost unique among such methods in that it uses a single notation for specification, design and programming. Using tutorial examples, this practical guide can be applied to the whole software engineering life cycle. An accompanying disk allows the reader to experiment with program examples.
Table of Contents
1. Introduction 2. Structure of A Simple Machin 3. The Class Manager&csq.s assistan 4. Deferred Sets and Non-determinis 5. Constructing Large Machine 6. More Substitutions for Machine 7. Software Desig 8. Implementation 9. API-layer Machines and their Implementation 10. Refinement Appendix A - Review of Discrete Mathematic Appendix B - Summary Table Appendix C - Library Machines
by "Nielsen BookData"
