The project set out to collect the experience from introducing formal methods into several, very different, application domains and to make that experience available as widely as possible. This book is the result.
It is a book of experience, written for
- technical leaders in industry who may be thinking about the possible introduction of formal methods;
- early and mid-career professionals who may need to assess the importance of these methods for their future careers, and
- system and software engineers developing important systems
The book will also prove valuable to
- standards makers and regulators;
- academics who can make use of the examples and experience for teaching purposes;
- undergraduate and postgraduate students, to understand the industrial context for the methods they are studying, and
- the developers of tools and methods, who may not have experience of the practical issues that determine whether their work will be usable in a real commercial or industrial environment.
These is what Michael Jackson writes in the book foreword “... this book describes a project that has made a major contribution towards bridging the gap between formalists and practitioners in software development for dependable systems. The detailed substance of the contribution lies in the specifics of what has been done; but the full value lies even more in the cooperative way in which the project has been carried out and the open-minded acknowledgment of challenges. This book will amply repay a careful and thoughtful reading by researchers and practitioners alike.”
Tony Hoare said the following “This book conveys the fruits of the experience gained in the project. It gives a clear record of the successes of the project and of the challenges that remain. It should be studied by researchers who strive to advance the state of the art of programming in industry; also by innovative industries, wishing to judge the adequacy of the current state of the art to meet their future software development needs. Above all, it should be read by all who are interested in a successful model of industrial and academic collaboration, and who wish such experiments to be repeated.”