B method

Author: Ablair
Publisher:
Publish Date: 2004-06-01
Features: The B Method is a method for the formal specification, design, and programming of software systems. This book provides a comprehensive and systematic explanation of the B Method, including its mathematical foundations, precise definitions of the symbols used, and numerous application examples. The publication of this book allows professionals working in formal methods, computer scientists, and system developers to finally access the most authoritative B Methodology treatise, while also serving as a standard reference for constructing software systems using formal methods. This is the most important work on the B Method, written by the inventor of the B Method, J-RAbrial. The B Method is one of the most respected practical software formal methods internationally, used to write software system specifications, perform system design, and programming. It has been applied in several highly significant software projects with great success. The book is divided into four parts, covering all aspects of the B Method. These parts introduce the mathematical foundations used in the B Method, the formal language notation for describing software system specifications using the B Method, basic program structures and program examples, and system modularization, hierarchical design, and refinement. This book is suitable for computer science professionals, software system developers, and students majoring in computer science. It can be used as a textbook for university courses on formal methods for software and software system design, or as a standard reference manual for the B Method.