{"product_id":"design-specification-and-verification-of-interactive-systems-98-proceedings-of-the-eurographics-workshop-in-abingdon-uk-june-3-5-1998-von-peter-johnson-panos-markopoulos-hrsg","title":"Design, Specification and Verification of Interactive Systems ’98","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.\nThe 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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783211832127\"\u003e\u003ch3\u003eProceedings of the Eurographics Workshop in Abingdon, UK, June 3–5, 1998\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783211832127","offer_id":39426045345885,"sku":"9783211832127","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/73461_33a951d4-4b16-46d0-bf94-d4988eb9e572.jpg?v=1784175561","url":"https:\/\/shop.autorenwelt.de\/en\/products\/design-specification-and-verification-of-interactive-systems-98-proceedings-of-the-eurographics-workshop-in-abingdon-uk-june-3-5-1998-von-peter-johnson-panos-markopoulos-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}