Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 241,094,026 papers from all fields of science
Search
Sign In
Create Free Account
B-Method
Known as:
B notation
, B-Tool
, B-Tookit
Expand
The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
24 relations
APCB
Ada
Alt-Ergo
Automatic programming
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments
Karima Belgharbi
,
M. Boufaïda
International Journal of Ambient Computing and…
2017
Corpus ID: 34212596
The environments of pervasive computing are open and dynamic. In order to ensure the dynamic discovery of services evolving in a…
Expand
2013
2013
Mathematical Language of Event-B Proofs
Laurent Voisin
2013
Corpus ID: 60249951
This model proves correct the optimisation implemented in Rodin 3.0 for storing the mathematical language in which proofs are…
Expand
2012
2012
Rigorous Design of Lazy Replication System Using Event-B
R. Suryavanshi
,
Divakar Yadav
International Conference on Contemporary…
2012
Corpus ID: 32968750
Eager replication is a technique of replication that ensures high consistency. Unfortunately, it degrades the system performance…
Expand
2012
2012
The ProR Approach: Traceability of Requirements and System Descriptions
M. Jastram
2012
Corpus ID: 27491878
Eine Systembeschreibung hoher Qualitat zu erstellen ist nach wie vor ein gro\-se Herausforderung im Bereich…
Expand
2011
2011
Modeling, Verification and Testing of P Systems Using Rodin and ProB
F. Ipate
,
A. Turcanu
2011
Corpus ID: 14109765
Summary. In this paper we present an approach to modelling, veriflcation and testing for cell-like P-systems based on Event-B and…
Expand
2011
2011
A Small Experiement in Event-b Rippling
G. Grov
,
A. Bundy
,
Lucas Dixon
2011
Corpus ID: 60554956
Although many POs in Rodin are discharged automatically, a large number still require user input – and in many cases, an expert…
Expand
2011
2011
Behavior of the NEXT-D beam shear key: A finite element approach
A. Duron
2011
Corpus ID: 115246431
..................................................................................................... ii ACKNOWLEDGEMENTS…
Expand
2009
2009
Towards a formally designed and verified embedded operating system: case study using the B method
A. Passos
2009
Corpus ID: 196064833
ion. Figure 2.4 illustrates a possible example of a B project. It is possible to see in the Figure 2.4: A B project picture that…
Expand
2008
2008
Carrier overlapping PWM methods for single phase cascaded five level inverter
B. Shanthi
,
S. P. Natarajan
2008
Corpus ID: 56257485
A single phase cascaded inverter consisting of two full bridges creates a five level AC output voltage. Due to switch combination…
Expand
2003
2003
Modélisation en B événementiel des fonctions mécaniques, électriques et informatiques d'un véhicule
Guilhem Pouzancre
,
Jean-Philippe Pitzalis
Techniques et sciences informatiques
2003
Corpus ID: 10389937
Cette chronique presente la methode employee pour formaliser, en B evenementiel, les lois de fonctionnement d'un vehicule entier…
Expand