Software Engineering and Formal Methods

SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers

Nonfiction, Computers, Advanced Computing, Artificial Intelligence, Information Technology, General Computing
Cover of the book Software Engineering and Formal Methods by , Springer Berlin Heidelberg
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783662492246
Publisher: Springer Berlin Heidelberg Publication: January 11, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783662492246
Publisher: Springer Berlin Heidelberg
Publication: January 11, 2016
Imprint: Springer
Language: English

This book constitutes revised selected papers from the workshops

collocated with the SEFM 2015 conference on Software Engineering and

Formal Methods, held in York, UK, in September 2015.

The 25 papers included in this volume were carefully reviewed and

selected from 32 submissions. 

The satellite workshops provided a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods.

The four workshops were:

  •  ATSE 2015: The 6th Workshop on Automating Test Case Design, Selection and Evaluation;

  • HOFM 2015: The 2nd Human-Oriented Formal Methods Workshop;

  • MoKMaSD 2015: The 4th International Symposium on Modelling and Knowledge Management Applications: Systems and Domains;

  • VERY*SCART 2015: The 1st International Workshop on the Art of Service Composition and Formal Verification for Self-* Systems.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book constitutes revised selected papers from the workshops

collocated with the SEFM 2015 conference on Software Engineering and

Formal Methods, held in York, UK, in September 2015.

The 25 papers included in this volume were carefully reviewed and

selected from 32 submissions. 

The satellite workshops provided a highly interactive and collaborative environment for researchers and practitioners from industry and academia to discuss emerging areas of software engineering and formal methods.

The four workshops were:

More books from Springer Berlin Heidelberg

Cover of the book Praxisbuch Bandtrocknung by
Cover of the book Cybercrimes: A Multidisciplinary Analysis by
Cover of the book Complex Analysis by
Cover of the book Prozesse in Produktion und Supply Chain optimieren by
Cover of the book The Swiss Ball by
Cover of the book The 19th International Conference on Industrial Engineering and Engineering Management by
Cover of the book Biopolymers by
Cover of the book Die Therapie des Facio-Oralen Trakts by
Cover of the book The Chemistry of Superheavy Elements by
Cover of the book Modern Mechanical Engineering by
Cover of the book Entropy Coders of the H.264/AVC Standard by
Cover of the book Percutaneous Penetration Enhancers Chemical Methods in Penetration Enhancement by
Cover of the book Emerging Fraud by
Cover of the book Evolution of Matter and Energy on a Cosmic and Planetary Scale by
Cover of the book The Achilles Tendon by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy