Book announcement: High-Integrity System Specification and Design

[Jonathan Bowen]

The following book provides an introduction to computer-based system
specification and design, paying particular attention to structured and
formal methods, method integration, concurrency and safety-critical
systems. The book consists of both original material and reprints of
classic papers in the field of system specification and design.

J.P. Bowen and M.G. Hinchey. High-Integrity System Specification
and Design. Springer-Verlag, London, FACIT series, April 1999.
xviii+701 pages, 65 UK pounds. ISBN 3-540-76226-4.

Paper authors include Booch, Brooks, Harel, Hoare, Lamport and Leveson.

For further on-line information, see:

URL: http://www.fmse.cs.reading.ac.uk/hissd/

This includes a full list of papers and an electronic copy of the
preface and table of contents.

--
Jonathan Bowen, The University of Reading, Dept of Computer Science
Whiteknights, PO Box 225, Reading, Berks RG6 6AY, England
Tel: +44-118-931-6544 (direct) -8611 (enquiries) Fax: +44-118-975-1994
Email: J.P....@reading.ac.uk URL: http://www.cs.rdg.ac.uk/people/jpb/