{"product_id":"design-specification-and-verification-of-interactive-systems-98-proceedings-of-the-eurographics-workshop-in-abingdon-uk-june-3-5-1998-9783211832127","title":"Design, Specification and Verification of Interactive Systems ’98: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3–5, 1998","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eDoes 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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eTable of Contents\u003c\/b\u003e\u003cbr\u003eInvited Talks.- Interacting in Chaos.- The Viability of Modelling Socially Organised Activity.- Papers Presented.- Deriving Business Object Definitions from User Work Process Models.- Inference and Information Resources: A Design Case Study.- An Ontology for Task World Models.- Formal Models for Cooperative Tasks: Concepts and an Application for En-Route Air-Traffic Control.- The Role of Formal Proof in Modelling Interactive Behaviour.- Validating Semi-Formal Specifications of Interactors as Design Representations.- The Role of Informal Representations in Early Design.- Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCl Development Cycle.- The Role of Verification in Interactive Systems Design.- Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems.- Practical Dialogue Refinement.- Which Widgets? Deriving Implementations from User-Interface Specifications.- A Framework for Generating Spatial Configurations in User Interfaces.- Using Model Checking for the Automatic Validation of User Interfaces Systems.- Specification and Verification of Media Constraints using UPPAAL.- Modelling Direct Manipulation with Referent and Statecharts.- Integrating Joint Behaviour and Dialogue Description.- Working Group Discussions.- Discussion Topics for the DSV-IS’98 Working Groups.- Working Group 1 Report.- Working Group 2 Report.- Working Group 3 Report.","brand":"Springer Verlag GmbH","offers":[{"title":"Default Title","offer_id":52195428368727,"sku":"9783211832127","price":40.49,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0817\/1739\/5799\/files\/9783211832127.jpg?v=1763647573","url":"https:\/\/bookcurl.com\/products\/design-specification-and-verification-of-interactive-systems-98-proceedings-of-the-eurographics-workshop-in-abingdon-uk-june-3-5-1998-9783211832127","provider":"Book Curl","version":"1.0","type":"link"}