000 03127nam a22005055i 4500
001 978-1-84882-736-3
003 DE-He213
005 20160302165607.0
007 cr nn 008mamaa
008 100301s2010 xxk| s |||| 0|eng d
020 _a9781848827363
_9978-1-84882-736-3
024 7 _a10.1007/978-1-84882-736-3
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aUL
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
245 1 0 _aFormal Methods: State of the Art and New Directions
_h[electronic resource] /
_cedited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi.
264 1 _aLondon :
_bSpringer London :
_bImprint: Springer,
_c2010.
300 _aXXV, 273 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
505 0 _aDomain Engineering -- Program Verification and System Dependability -- The Abstract State Machines Method for High-Level System Design and Analysis -- Applications and Methodology of ?Z -- The Computer Ate My Vote -- Formal Methods for Biochemical Signalling Pathways -- Separation Logic and Concurrency -- Programming Language Description Languages.
520 _aThe 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.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aProgramming languages (Electronic computers).
650 0 _aMathematical logic.
650 1 4 _aComputer Science.
650 2 4 _aSoftware Engineering/Programming and Operating Systems.
650 2 4 _aSoftware Engineering.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aProgramming Languages, Compilers, Interpreters.
700 1 _aBoca, Paul.
_eeditor.
700 1 _aBowen, Jonathan P.
_eeditor.
700 1 _aSiddiqi, Jawed.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9781848827356
856 4 0 _uhttp://dx.doi.org/10.1007/978-1-84882-736-3
912 _aZDB-2-SCS
999 _c190930
_d190930