Editors:
- Chapters are supplemented with presentation slides which will be available on a dedicated website
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (8 chapters)
-
Front Matter
About this book
The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that formal methods can be effective and deployed in industrial-scale applications.
Through fundamental contributions from leading researchers, this book provides further evidence of the use of formal methods in the areas of requirements, design, modelling and implementation, verification and validation. The self-contained chapters are views from experts in these areas, providing readers with rich background information and a diverse breadth of specialist material.
This authoritative collection of views provides a snapshot of the field and will be of considerable interest to researchers and professionals seeking a perspective on fundamental underpinnings of formal methods and current hot topics in the field.
The website www.fmsand.info is a useful resource, providing material associated with the book and links to further related information.
Editors and Affiliations
-
Hornbill Systems Ltd., Ruislip, United Kingdom
Paul Boca
-
Museophile Ltd., Reading, Oxon., United Kingdom
Jonathan P. Bowen
-
Informatics Research Group, Sheffield Hallam University, Sheffield, United Kingdom
Jawed Siddiqi
Bibliographic Information
Book Title: Formal Methods: State of the Art and New Directions
Editors: Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
DOI: https://doi.org/10.1007/978-1-84882-736-3
Publisher: Springer London
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag London 2010
Hardcover ISBN: 978-1-84882-735-6Published: 22 December 2009
Softcover ISBN: 978-1-4471-5745-8Published: 20 October 2014
eBook ISBN: 978-1-84882-736-3Published: 04 December 2009
Edition Number: 1
Number of Pages: XXV, 273
Topics: Software Engineering/Programming and Operating Systems, Software Engineering, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters