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.
2014
2014
Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system
This paper describes the modeling, done using the Event-B notation, of the aircraft landing gear case study that was proposed in… 
2012
2012
Rigorous Design of Lazy Replication System Using Event-B
Eager replication is a technique of replication that ensures high consistency. Unfortunately, it degrades the system performance… 
2011
2011
Developing Camille, a text editor for Rodin
Initially, the Rodin platform for Event‐B did away with a textual representation for models. In this paper, we explain why a… 
2009
2009
UML_AD2EventB: An Approach to Generating Event B Specification from UML Activity Diagrams for the Workflows Specification and Verification
In this paper, we present a new approach to generating Event B specification from UML Activity Diagrams (AD). The goal of this… 
2008
2008
Carrier overlapping PWM methods for single phase cascaded five level inverter
A single phase cascaded inverter consisting of two full bridges creates a five level AC output voltage. Due to switch combination… 
2007
2007
Developing Java Card Applications with B
2006
2006
A formal approach based on UML and B for the specification and development of database applications
This article describes a formal approach to specify and develop database applications. This approach consists of two… 
2003
2003
Towards a UML profile for UML-B
The UML is a popular modelling notation that has a natural appeal to hardware and software engineers and is adaptable through… 
1992
1992
An object-oriented refinement calculus with modular reasoning
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding… 
1989
1989
In-trough cyclic voltammetric studies of Langmuir-Blodgett monolayers of a surfactant derivative of tris(2,2'-bipyridine)ruthenium(2+) at an indium-tin oxide electrode
Langmuir-Blodgett (L-B) monolayers of a surfactant derivative of ruthenium tris(bipyridine) complex, Ru-(bpy){sub 2}(bpy-C{sub 19… 
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)