PROGRAM DEVELOPMENT BY REFINEMENT CASE STUDIES USING THE B METHODS

Le Monde En Tique

Commandez cet ouvrage

Ouvrage 9781852330538 : PROGRAM DEVELOPMENT BY REFINEMENT CASE STUDIES USING THE B METHODS
his 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;
and distributed systems. This volume should 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 background reading
for students taking courses in the B Method, formal specification, or
refinement.
CONTENTS: Part 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. Part 2
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.


Auteur : SEKERINSKI
Editeur : SPRINGER
Nombre de pages : 370
Date de publication : 10 1998

Commandez cet ouvrage