[LB] ================================================ AMAST Links 02 06

                    Applications of Formal Methods
           Michael G. Hinchey & Jonathan P. Bowen (editors)
        Prentice Hall International Series in Computer Science
                     ISBN 0-13-366949-1, Hardback
                  447pp, GBP 32.95/US$ 49.95 approx.

   The full version of this information is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i06/full/AC0206LB.txt

  This book was due to be published on August 18.

  Interest in formal methods continues to grow; unfortunately myths and
misconceptions regarding their benefits and application continue to 
grow also. _Applications of Formal Methods_ is a collection of articles
by internationally renowned contributors from both academia and 
industry which will dispel many of these myths.

  Each of these essays illustrates the application of formal methods to
realistic problems, each with an industrial relevance, in various
application domains, describing how they can be scaled to large-scale
problems, and providing an evaluation of methods, tools, and
validation and verification techniques.

  Key features include:
 o  Foreword by C.A.R. Hoare
 o  describes real-life examples of the application of formal methods, 
    including descriptions of the methods used, and fragments of 
    specifications which can be used in coursework
 o  Provides statistical evidence of the benefits of formal methods
 o  Discusses techniques for scaling formal methods for use at an 
    industrial scale, and means of overcoming technology transfer 
    problems 
 o  Emphasizes tool support and the use of validation and verification 
    techniques