Software Engineering With B - Couverture souple

Wordsworth, J.B.

 
9780201403565: Software Engineering With B

Synopsis

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. It is almost unique among such 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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. It is almost unique among such 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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.