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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bianculli, Domenico (Editor), Calinescu, Radu (Editor), Rumpe, Bernhard (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
• Edition: 1st ed. 2015.
• Series: Lecture Notes in Computer Science, 9509
• Subjects: Computer science.; Computers.; Algorithms.; Mathematical statistics.; Database management.; Artificial intelligence.; Computer Science.; Information Systems Applications (incl. Internet).; Artificial Intelligence (incl. Robotics).; Algorithm Analysis and Problem Complexity.; Probability and Statistics in Computer Science.; Computation by Abstract Devices.; Database Management.

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