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 German Corporate Governance in International and European Context by
Cover of the book Thermische Turbomaschinen by
Cover of the book Molecular Imaging in Oncology by
Cover of the book Laufen psychotherapeutisch nutzen by
Cover of the book Laser by
Cover of the book A History of Chinese Science and Technology by
Cover of the book From Idea to Innovation by
Cover of the book Quantum Cosmology - The Supersymmetric Perspective - Vol. 1 by
Cover of the book Complexity and Spatial Networks by
Cover of the book Integumentary Physical Therapy by
Cover of the book Logic for Programming, Artificial Intelligence, and Reasoning by
Cover of the book Organisationskulturen im Spielfilm by
Cover of the book Designing Public Policies by
Cover of the book Das gesamte examensrelevante Zivilrecht by
Cover of the book Parallel Programming 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