B-method

The method of Software Development based on B is known as the '' B-Method ''.

Compared to Z, B is slightly more low-level and more focused on Refinement to code rather than just Formal Specification – hence it is easier to implement a specification written in B correctly than one in Z. In particular, there is good tool support for this.

BOOKS

''The B-Book: Assigning Programs to Meanings'', Jean-Raymond Abrial , Cambridge University Press , 1996 . ISBN 0-521-49619-5.

''The B-Method: An Introduction'', Steve Schneider, Palgrave , Cornerstones of Computing series, 2001 . ISBN 0-333-79284-X.

''Software Engineering with B'', John Wordsworth, Addison Wesley Longman , 1996 . ISBN 0-201-40356-0.

''The B Language and Method: A Guide to Practical Formal Development'', Kevin Lano, Springer-Verlag , FACIT series, 1996 . ISBN 3-540-76033-4.

''Specification in B: An Introduction using the B Toolkit'', Kevin Lano, World Scientific Publishing Company , Imperial College Press , 1996 . ISBN 1-86094008-0.

	CATEGORIES ABOUT B-METHOD

	formal methods

	formal methods tools

	formal specification languages

	APPAREL
	BABY
	BEAUTY
	BOOKS
	CAR TOYS
	CELL PHONES
	DVD'S
	ELECTRONICS
	GOURMET FOOD
	GROCERIES
	HEALTH & PERSONAL
	HOME & GARDEN
	JEWELRY
	MUSIC
	MUSIC INSTRUMENTS
	OFFICE PRODUCTS
	SOFTWARE
	SPORTING GOODS
	TOOLS & HARDWARE
	TOYS
	VIDEO GAMES
	SHOPPING HOME

	MORE SHOPPING...

Information About

B-method