B Method
22 Followers
Recent papers in B Method
Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into established industrial software processes, their application requires significant abstraction and mathematical skills,... more
This report provides baseline data on local government finance and financial management in six councils in Tanzania: Bagamoyo District Council, Ilala Municipal Council, Iringa DC, Kilosa DC, Moshi DC, and Mwanza City Council. The data... more
A geometric modeller is a piece of software allowing to create, manipulate and modify geometric objects. Modern geometric modellers usually use a mathematical model to represent objects and are developed around a kernel that proposes... more
This report provides baseline data on local government finance and financial management in six councils in Tanzania: Bagamoyo District Council, Ilala Municipal Council, Iringa DC, Kilosa DC, Moshi DC, and Mwanza City Council. The data... more
This paper evaluates the valuation accuracy of the price-earnings (P/E), the price-book (P/B) and a combined price-earnings and price-book (P/E-P/B) benchmark valuation methods. Performance of the benchmark valuation methods relies on the... more
Computing and Informatics, Vol. 22, 2003, 131 FOUNDATIONS OF THE B METHOD Dominique Cansell , Dominique Mery LORIA BP 239, Campus Scientifique 54506 Vanduvre-l`es-Nancy France e-mail: August 7, 2003-cansell@loria.fr, mery@loria.fr... more
ContextThis paper deals with the development and verification of liveness properties on reactive systems using the Event-B method. By considering the limitation of the Event-B method to invariance properties, we propose to apply the... more
We transfer a process algebraic notion of refinement to the B method by using the well-known bridge between the relational semantics underlying the B machines and the labelled transition system semantics of processes. Thus we define delta... more