Software Engineering with B PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Software Engineering with B PDF full book. Access full book title Software Engineering with B by J. B. Wordsworth. Download full books in PDF and EPUB format.

Software Engineering with B

Software Engineering with B PDF Author: J. B. Wordsworth
Publisher: Addison Wesley Longman
ISBN:
Category : Computers
Languages : en
Pages : 356

Get Book Here

Book Description
This is the definitive guide to software engineering with B--the generic name for the software development method invented by Jean-Raymond Abrial, and for the language and CASE tool developed by B-Core (UK) Ltd. The B-method is almost unique among formal software development methods in that it uses a single notation for specification, design and programming. Using tutorial examples, this practical guide can be applied to the whole software engineering life cycle. An accompanying disk allows the reader to experiment with program examples. Key features include: Gives a balanced coverage of the B-Method, the abstract machine notation (AMN) and the B-Toolkit Covers the complete software development process from specification through to production of programs Shows how to write informal descriptions of software components as state machines and how to formalize simple state machines using the abstract machine notation Covers the use of the B-Toolkit for entering, committing, analyzing and animating machines and for generating machines from systems definitions Provides a diskette containing the source text of the examples in the book for use with the B-Toolkit Is supported by supplementary material on the World Wide Web 0201403560B04062001