Program Development by Refinement: Case Studies Using the B Method by E. SekerinskiProgram Development by Refinement: Case Studies Using the B Method by E. Sekerinski

Program Development by Refinement: Case Studies Using the B Method

byE. SekerinskiEditorEmil Sekerinski, Kaisa Sere

Paperback

Pricing and Purchase Info

$327.73 online 
$375.95 list price save 12%
Earn 1,639 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This volume contains a collection of case studies in program refinement with the B Method. They show typical program developments from problem analysis to implementation with non-trivial examples. They cover areas for which the B Method was originally conceived as well as the following novel areas: - data structures; - information management; - process control systems; - distributed systems. This volume will primarily be of interest to practitioners who either already use B and want to improve their program refinement techniques, or those who are considering using it and want to learn about its implementation. It will also provide useful background reading for students taking courses in the B Method, Formal Specification, or Refinement.
Title:Program Development by Refinement: Case Studies Using the B MethodFormat:PaperbackDimensions:388 pages

The following ISBNs are associated with this title:

ISBN - 10:1852330538

ISBN - 13:9781852330538

Look for similar items by category:

Reviews

Table of Contents

Preface.- I: Information Systems: Introduction to the B Method.- Developing an Information System for Container Station Bookkeeping.- Derivation of a Minimum Spanning Tree Algorithm.- The B Bank.- II: Reactive Systems: Introduction to Parallel Programming with B.- Controlling a Production Cell.- Derivation of a Distributed Load Balancing Algorithm.- Design of a Distributed E-Mail System.- Bibliography: Generalised Substitution Language.