EAN: 9783662492239

SOFTWARE ENGINEERING AND FORMAL METHODS KARTONI...

This book constitutes revised selected papers from the workshopscollocated with the SEFM 2015
conference on Software Engineering andFormal 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.

Aktuelle Preise zur EAN 9783662492239

Produktinformationen zur 9783662492239