{"product_id":"9783662492239","title":"Lecture Notes in Computer Science: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers","description":"\u003ch1\u003eLecture Notes in Computer Science: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers\u003c\/h1\u003e \u003ch2\u003eBianculli, Domenico; Calinescu, Radu; Rumpe, Bernhard\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cdiv\u003e\u003cbr\u003e\u003c\/div\u003e\u003cdiv\u003eThis book constitutes revised selected papers from the workshops\u003c\/div\u003e\u003cdiv\u003ecollocated with the SEFM 2015 conference on Software Engineering and\u003c\/div\u003e\u003cdiv\u003eFormal Methods, held in York, UK, in September 2015.\u003c\/div\u003e\u003cdiv\u003eThe 25 papers included in this volume were carefully reviewed and\u003cbr\u003e\n\u003c\/div\u003e\u003cdiv\u003eselected from 32 submissions. \u003c\/div\u003e\u003cdiv\u003e\n\u003cdiv\u003eThe 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.\u003c\/div\u003e\n\u003cdiv\u003eThe four workshops were:\u003c\/div\u003e\n\u003cdiv\u003e\u003cul\u003e\n\u003cli\u003e ATSE 2015: The 6th Workshop on Automating Test Case Design, Selection and Evaluation;\u003c\/li\u003e\n\u003cli\u003eHOFM 2015: The 2nd Human-Oriented Formal Methods Workshop;\u003cbr\u003e\n\u003c\/li\u003e\n\u003cli\u003eMoKMaSD 2015: The 4th International Symposium on Modelling and Knowledge Management Applications: Systems and Domains;\u003c\/li\u003e\n\u003cli\u003eVERY*SCART 2015: The 1st International Workshop on the Art of Service Composition and Formal Verification for Self-* Systems.\u003c\/li\u003e\n\u003c\/ul\u003e\u003c\/div\u003e\n\u003c\/div\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2016-02-03\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783662492239\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-662-49224-6\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 325\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":44806001295500,"sku":"9783662492239","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783662492239.jpg?v=1774013685","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783662492239","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}