Overview
Read this article from a comprehensive knowledge base, updated and supplemented with articles reviewed by scientific committees.
Read the articleAUTHOR
-
Jacques valancogne: IMdR - Member of the CSFRS Scientific Advisory Board (Conseil supérieur de la Formation et de la Recherche stratégiques)
INTRODUCTION
It is not the intention of this article that the reader should know everything there is to know about the B method; that would be impossible and pretentious. The B-BOOK – Assigning Programs to Meanings by Jean-Raymond ABRIAL, the inventor of the B-method, which is the basis of the B-language, already runs to over 750 pages and is based on a wealth of mathematical and logical knowledge. The aim here is simply to shed some light on the main concepts behind this method, so that we can better assess it. The mathematical aspects, though essential, will not be over-developed. The discussion will always remain fairly general, sometimes deliberately simplifying to remain understandable.
The Ultimate Scientific and Technical Reference
This article is included in
Safety and risk management
This offer includes:
Knowledge Base
Updated and enriched with articles validated by our scientific committees
Services
A set of exclusive tools to complement the resources
Practical Path
Operational and didactic, to guarantee the acquisition of transversal skills
Doc & Quiz
Interactive articles with quizzes, for constructive reading
Method B for the specification and realization of proven software and mission-critical systems
Increasing complexity of systems and software – Critical software and its production process
Bibliography
The Ultimate Scientific and Technical Reference
