Skip to search formSkip to main contentSkip to account menu

B-Method

Known as: B notation, B-Tool, B-Tookit 
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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

24 relations
APCBAdaAlt-ErgoAutomatic programming

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
EventB2Java: A Code Generator for Event-B
Event-B is a formal specification language and a methodology used to build software systems. Formal specifications are more… 
Highly Cited
2012
Highly Cited
2012
Mesoscale eddies in the northeastern Pacific tropical-subtropical transition zone: Statistical characterization from satellite altimetry
[1] Mesoscale eddies in the northeastern Pacific tropical-subtropical transition zone (16°N–30°N; 130°W–102°W) are analyzed using… 
Highly Cited
2010
Highly Cited
2010
Rodin: an open toolset for modelling and reasoning in Event-B
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a… 
Highly Cited
2009
Highly Cited
2009
Prediction capabilities of classical and shear deformable beam models excited by a moving mass
Highly Cited
2007
Highly Cited
2007
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
We argue that formal modeling should be the starting point for any serious development of computer systems. This claim poses a… 
Review
2007
Review
2007
Engineering and theoretical underpinnings of retrenchment
Highly Cited
2007
Highly Cited
2007
BRAMA: A New Graphic Animation Tool for B Models
Clearsy is an engineering company specialized in system dependability. It verifies the concepts and tools required to create… 
Highly Cited
2002
Highly Cited
2002
Supply chain modelling and its analytical evaluation
A model-based analysis of supply chains (SCs) is proposed as a means of estimating performance measures like lead times and… 
Highly Cited
2002
Highly Cited
2002
CLPS-B - A Constraint Solver for B
This paper proposes an approach to the evaluation of B formal specifications using Constraint Logic Programming with sets. This… 
Highly Cited
1997
Highly Cited
1997
An operational semantics for ZCCS
G. Bruns (1995) has proposed a version of value-passing CCS in which an agent language, based on that proposed by Milner, is… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)