{"product_id":"design-specification-and-verification-o","title":"Design, Specification And Verification O","description":"Does modelling, formal or otherwise, play a role in designing interactive systems? A proliferation of interactive devices and technologies is used in an ever increasing diversity of contexts and combinations in                            professional and every-day life. This development poses a significant challenge to modelling approaches used for the design of interactive systems. The papers in this volume discuss a range of modelling approaches, the                            representations they use, the strengths and weaknesses of their associated specification and analysis techniques and their role in supporting the design of interactive systems.","brand":"MediaPlace","offers":[{"title":"Default Title","offer_id":57311909347710,"sku":"NW9783211832127","price":43.95,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1379\/1261\/files\/9783211832127.jpg?v=1778585439","url":"https:\/\/mediaplace.com\/en-eu\/products\/design-specification-and-verification-o","provider":"MediaPlace","version":"1.0","type":"link"}