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 Enterprise Interoperability by
Cover of the book Clinical Management of Urolithiasis by
Cover of the book Tutorium Mathe für Biologen by
Cover of the book Analysis of Urban Growth and Sprawl from Remote Sensing Data by
Cover of the book Domestic Dog Cognition and Behavior by
Cover of the book Honeybee Nests by
Cover of the book Plastische Chirurgie – Ästhetik Ethik Geschichte by
Cover of the book Fundamentals of NeuroIS by
Cover of the book Multicultural China by
Cover of the book Sports Injuries to the Shoulder and Elbow by
Cover of the book Molecular and Functional Models in Neuropsychiatry by
Cover of the book The Microstructural Border Between the Motor and the Cognitive Domain in the Human Cerebral Cortex by
Cover of the book Multidisciplinary Treatment of Hepatocellular Carcinoma by
Cover of the book Proceedings of 20th International Conference on Industrial Engineering and Engineering Management by
Cover of the book Intracranial Angiomas. Neurosurgical Intensive Care. Supratentorial Tumors in Children 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