Software Engineering and Formal Methods

Software Engineering and Formal Methods

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. The 13 full papers presented together with 7 short papers in this volume were carefully reviewed and selected from a total of 45 submissions. They stem from the following workshops: CoSim-CPS 2019 – 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems; ASYDE 2019 -- 1st International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications; and FOCLASA 2019 -- 17th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems​.

Download Now
Author
Publisher Springer Nature
Release Date
ISBN 3030575063
Pages 277 pages
Rating 4/5 (69 users)

More Books:

Software Engineering and Formal Methods
Language: en
Pages: 277
Authors: Javier Camara
Categories: Computers
Type: BOOK - Published: 2020-09-09 - Publisher: Springer Nature

GET EBOOK

The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering
Software Engineering and Formal Methods
Language: en
Pages: 592
Authors: Antonio Cerone
Categories: Computers
Type: BOOK - Published: 2018-02-03 - Publisher: Springer

GET EBOOK

This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Metho
Formal Methods and Software Engineering
Language: en
Pages: 498
Authors: Zhenhua Duan
Categories: Computers
Type: BOOK - Published: 2017-10-13 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November
Software Engineering and Formal Methods
Language: en
Pages: 405
Authors: Carlos Canal
Categories: Computers
Type: BOOK - Published: 2015-01-31 - Publisher: Springer

GET EBOOK

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Gr
Software Engineering and Formal Methods
Language: en
Pages: 394
Authors: Dimitra Giannakopoulou
Categories: Computers
Type: BOOK - Published: 2014-08-04 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, Fra
Software Engineering and Formal Methods
Language: en
Pages: 419
Authors: Rocco De Nicola
Categories: Computers
Type: BOOK - Published: 2016-06-22 - Publisher: Springer

GET EBOOK

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in
Software Engineering and Formal Methods
Language: en
Pages: 504
Authors: Gilles Barthe
Categories: Computers
Type: BOOK - Published: 2011-10-26 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Ur
Software Engineering and Formal Methods
Language: en
Pages: 410
Authors: Alessandro Cimatti
Categories: Computers
Type: BOOK - Published: 2017-08-24 - Publisher: Springer

GET EBOOK

​This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, It
From Software Engineering to Formal Methods and Tools, and Back
Language: en
Pages: 574
Authors: Maurice H. ter Beek
Categories: Computers
Type: BOOK - Published: 2019-10-08 - Publisher: Springer Nature

GET EBOOK

This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of
Formal Methods and Software Engineering
Language: en
Pages: 758
Authors: Karin Breitman
Categories: Computers
Type: BOOK - Published: 2009-11-18 - Publisher: Springer

GET EBOOK

Formal methods for development of computer systems have been extensively studied over the years. A range of semantic theories, speci?cation languages, design te