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.
2017
2017
Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook
An increasing openness and interconnectedness of safety-critical industrial control systems makes them vulnerable to security… 
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… 
2014
2014
Synthesis of Processor Instruction Sets from High-Level ISA Specifications
As processors continue to get exponentially cheaper for end users following Moore's law, the costs involved in their design keep… 
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… 
1998
1998
FATIGUE RELIABILITY EVALUATION FOR COMPOSITE LAMINATES VIA A DIRECT NUMERICAL INTEGRATION TECHNIQUE
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)