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)

Mentioned in

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).

COMS-Based Retrieval of Daily Actual Evapotranspiration over Korea

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.