B-Method


Also found in: Wikipedia.

B-Method

(programming, tool)
A system for rigorous or formal development of software using the notion of Abstract Machines to specify and design software systems. The B-Method is supported by the B-Toolkit.

Abstract Machines are specified using the Abstract Machine Notation (AMN) which is in turn based on the mathematical theory of Generalised Substitutions.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
The B-method is determined either by fitting the linear least squares to the data or by simulations based on a SVAT [36-38] or boundary layer model.
Remote-sensing based ET estimation using B-method has been reported in many previous studies.
The objective of this study is (1) to estimate the daily actual ET using semiempirical method, B-method, considering various type of land cover and surface roughness in heterogeneous regions, Korea, by using geostationary meteorological satellite data (Communication, Ocean and Meteorological Satellite, COMS) and polar-orbiting satellite data (Systeme Pour l'Observation de la Terre, SPOT) and (2) to evaluate estimated daily actual ET derived from B-method using flux tower ET measurements and compare it to MODIS averaged 8-day ET (MOD16).