Formal Methods: State of the Art and New Directions

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 contr...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Boca, Paul (Editor ), Bowen, Jonathan P. (Editor ), Siddiqi, Jawed (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2010.
Edición:1st ed. 2010.
Temas:
Software engineering.
Machine theory.
Compilers (Computer programs).
Software Engineering.
Formal Languages and Automata Theory.
Compilers and Interpreters.
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-1-84882-736-3
003 DE-He213
005 20220114220942.0
007 cr nn 008mamaa
008 100301s2010 xxk| s |||| 0|eng d
020 |a 9781848827363  |9 978-1-84882-736-3 
024 7 |a 10.1007/978-1-84882-736-3  |2 doi 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
072 7 |a UMZ  |2 thema 
082 0 4 |a 005.1  |2 23 
245 1 0 |a Formal Methods: State of the Art and New Directions  |h [electronic resource] /  |c edited by Paul Boca, Jonathan P. Bowen, Jawed Siddiqi. 
250 |a 1st ed. 2010. 
264 1 |a London :  |b Springer London :  |b Imprint: Springer,  |c 2010. 
300 |a XXV, 273 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
505 0 |a Domain 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 |a 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. 
650 0 |a Software engineering. 
650 0 |a Machine theory. 
650 0 |a Compilers (Computer programs). 
650 1 4 |a Software Engineering. 
650 2 4 |a Formal Languages and Automata Theory. 
650 2 4 |a Compilers and Interpreters. 
700 1 |a Boca, Paul.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Bowen, Jonathan P.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Siddiqi, Jawed.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9781848827370 
776 0 8 |i Printed edition:  |z 9781447157458 
776 0 8 |i Printed edition:  |z 9781848827356 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-1-84882-736-3  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710) 

Ejemplares similares