Articoli correlati a "Design, Specification and Verification of Interactive...
"Design, Specification and Verification of Interactive Systems '98": Proceedings of the Eurographics Workshop in Abingdon, UK, June 3-5, 1998 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Invited 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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 45,01
GRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiRisultati della ricerca per "Design, Specification and Verification of Interactive...
Foto dell'editore
Design, Specification and Verification of Interactive Systems '98
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. 325 pp., softcover, ex library, else text and binding clean, tight, and bright. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB356300
Quantità: 1 disponibili
Foto dell'editore
Design, Specification and Verification of Interactive Systems *98 - Proceedings of the Eurographics Workshop in Abingdon, U. K., June 3-5, 1998
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-84588
Quantità: 1 disponibili
Foto dell'editore
Design, Specification and Verification of Interactive Systems *98 - Proceedings of the Eurographics Workshop in Abingdon, U. K., June 3-5, 1998
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-262292
Quantità: 1 disponibili
Foto dell'editore
Design, Specification and Verification of Interactive Systems '98
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 340. Codice articolo 263156404
Quantità: 1 disponibili
Foto dell'editore
Design, Specification and Verification of Interactive Systems '98
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 340. Codice articolo 183156414
Quantità: 1 disponibili
Foto dell'editore
Design, Specification and Verification of Interactive Systems '98
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 340 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Codice articolo 4691563
Quantità: 1 disponibili
Immagini fornite dal venditore
Design, Specification and Verification of Interactive Systems 98
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. State of the art in this fieldDoes 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. Codice articolo 4489022
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Design, Specification and Verification of Interactive Systems ¿98 : Proceedings of the Eurographics Workshop in Abingdon, UK, June 3¿5, 1998
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9783211832127
Quantità: 1 disponibili
Immagini fornite dal venditore
Design, Specification and Verification of Interactive Systems '98
Editore:
Springer Vienna, Springer Vienna Aug 1998, 1998
ISBN 10: 3211832122
ISBN 13: 9783211832127
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch. Codice articolo 9783211832127
Quantità: 1 disponibili
Foto dell'editore
Design, Specification and Verification of Interactive Systems '98: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3-5, 1998
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783211832127_new
Quantità: Più di 20 disponibili