Artículos relacionados a SPECIFICATION IN B: AN INTRODUCTION USING THE B TOOLKIT

SPECIFICATION IN B: AN INTRODUCTION USING THE B TOOLKIT - Tapa dura

Lano, Kevin; Haughton, Howard

 
9781860940088: SPECIFICATION IN B: AN INTRODUCTION USING THE B TOOLKIT
Tapa dura
ISBN 10: 1860940080 ISBN 13: 9781860940088
Editorial: Imperial College Press, 1996

Sinopsis

This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.

Reseña del editor

Offers a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques. Examples of all development life-cycle stages are given in the work, including animation, proof, design and code generation in C. Two case studies and excercises with solutions are provided.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Imperial College Press
Año de publicación
1996
Idioma
Inglés
ISBN 10 
1860940080
ISBN 13 
9781860940088
Encuadernación
Tapa dura
Número de páginas
241
Contacto del fabricante
no disponible
Persona responsable
no disponible