Articoli correlati a "Design, Specification and Verification of Interactive...
"Design, Specification and Verification of Interactive Systems '99": Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999 - Brossura
Sinossi
The collection of papers in this volume covers specification methods and their use in design, model-based tool support, task and dialogue models, distributed collaboration, and models for virtual reality input. Strong emphasis is laid on formal representations and modelling techniques and their use in understanding interaction and informing the design of artefacts.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Invited Talks: Haptic Interactions in the Real and Virtual Worlds (M. Srinivasan); Matching Technology to People for Telepresence (M. Hollier).- Papers Presented: An Analysis and a Model of 3D Interaction Methods and Devices for Virtual Reality (C. A. Wüthrich); Towards Hybrid Interface Specification for Virtual Environments (M. Maasink, D. J. Duke, S. Smith); Contrasting Models for Visualization (Seeing the Wood through the Trees) (C. Roast, J. Siddiqi); Towards User Interfaces for Rapid Prototyping from Algebraic Specifications (M. Cabrera, J. C. Torres, M. Gea); Computer-Aided Design of Menu Bar and Pull-Down Menus for Business Oriented Applications (J. Vanderdonckt); Presentation Models by Example (P. Castells, P. Szekely); Refinement of the PAC Model for the Component-based Design and Specification of Television Based Interfaces (P. Markopoulos, P. Shrubsole, J. de Vet); Flexibly Mapping Synchronous Groupware Architectures to Distributed Implementations (T. Urnes,T. C. Graham); Using TRIO Specifications to Generate Test Cases for an Interactive System (B. d’Ausbourg, J. Cazin); Using Automated Reasoning in the Design of an Audio-Visual Communication System (J. C. Campos, M. D. Harrison); Analysing User Deviations in Interactive Safety-Critical Applications (F. Paternó, C. Santoro, B. Fields); Dialogue Validation from Task Analysis (F. Jambon, P. Girard, Y. Boisdron); Task and Object-Oriented Development of Interactive Systems – How Many Models are Necessary? (P. Forbrig); Usability Properties in Dialog Models (M. van Welie, G. C. van der Veer, A. Eliëns).- Position Papers: Cross-Contextual Reference in Human-Computer Interaction (J. Rowson, P. Johnson, G. White); Modelisation of Co-operative Work (M. Gea, F. L. Gutierrez, J. C. Torres, N. Padilla, M. Cabrera).- Working Group Discussions: Discussion Topics for the DSV-IS’99 Working Groups (D. J. Duke); Working Group 1 Report (S. P. Smith); Working Group 2 Report (G. White); Working Group 3 Report(D. A. Duce).
Product Description
Book by None
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2013
- ISBN 10 3211834052
- ISBN 13 9783211834053
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine296
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 53,49
EUR 14,99 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per "Design, Specification and Verification of Interactive...
Foto dell'editore
Design, Specification and Verification of Interactive Systems '99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999
Da: Bookmonger.Ltd, HILLSIDE, NJ, U.S.A.
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Fine. Mint condition. Codice articolo mon0000431482
Quantità: 1 disponibili
Immagini fornite dal venditore
Design, Specification and Verification of Interactive Systems ¿99 : Proceedings of the Eurographics Workshop in Braga, Portugal, June 2¿4, 1999
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV-IS'99, which was held at the Uni versity of Minho, Braga, Portugal from June 2 to June 4, 1999. The previous events of this series were held at Pisa, Toulouse, Namur, Granada, and Abingdon; the theme this year was 'Engaging the Mind by Enriching the Senses', emphasising the importance of the interface in making interaction both effective and enjoyable. Presentations and discussions covered topics that included specification methods and their use in design, model-based tool support, task and dialogue models, distributed col laboration, and models for VR input. As in previous years, there was a strong emphasis on formal representations and modelling techniques, and their use in understanding in teraction and informing the design of artefacts. However, the aim of the workshop is to encourage an exchange of views within a broad community, and other approaches, in particular tool support for model-based design, were also represented. This book includes the papers of the two invited speakers (one as an abstract only), the fourteen full papers accepted for publication, two shorter position papers, and the reports from the working group discussions. The format of the workshop aimed to mix formal paper presentations with informal discussion sessions, with the two invited talks setting the tone for the meeting. Codice articolo 9783211834053
Quantità: 1 disponibili
Immagini fornite dal venditore
Design, Specification and Verification of Interactive Systems '99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999 (Paperback or Softback)
Editore:
Springer 10/1/1999, 1999
ISBN 10: 3211834052
ISBN 13: 9783211834053
Nuovo
Paperback or Softback
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Design, Specification and Verification of Interactive Systems '99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999 1.05. Book. Codice articolo BBS-9783211834053
Quantità: 5 disponibili
Foto dell'editore
Design, Specification and Verification of Interactive Systems '99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783211834053_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Design, Specification and Verification of Interactive Systems 99
Da: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 4489097
Quantità: Più di 20 disponibili
Foto dell'editore
Design, Specification and Verification of Interactive Systems '99
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 296. Codice articolo 2698084172
Quantità: 4 disponibili
Foto dell'editore
Design, Specification and Verification of Interactive Systems'99: Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 296 pages. 9.75x7.00x0.50 inches. In Stock. Codice articolo x-3211834052
Quantità: 2 disponibili
Foto dell'editore
Design, Specification and Verification of Interactive Systems '99
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 296. Codice articolo 1898084166
Quantità: 4 disponibili
Immagini fornite dal venditore
Design, Specification and Verification of Interactive Systems ¿99
Editore:
Springer Vienna Okt 1999, 1999
ISBN 10: 3211834052
ISBN 13: 9783211834053
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV-IS'99, which was held at the Uni versity of Minho, Braga, Portugal from June 2 to June 4, 1999. The previous events of this series were held at Pisa, Toulouse, Namur, Granada, and Abingdon; the theme this year was 'Engaging the Mind by Enriching the Senses', emphasising the importance of the interface in making interaction both effective and enjoyable. Presentations and discussions covered topics that included specification methods and their use in design, model-based tool support, task and dialogue models, distributed col laboration, and models for VR input. As in previous years, there was a strong emphasis on formal representations and modelling techniques, and their use in understanding in teraction and informing the design of artefacts. However, the aim of the workshop is to encourage an exchange of views within a broad community, and other approaches, in particular tool support for model-based design, were also represented. This book includes the papers of the two invited speakers (one as an abstract only), the fourteen full papers accepted for publication, two shorter position papers, and the reports from the working group discussions. The format of the workshop aimed to mix formal paper presentations with informal discussion sessions, with the two invited talks setting the tone for the meeting. 296 pp. Englisch. Codice articolo 9783211834053
Quantità: 2 disponibili
Immagini fornite dal venditore
Design, Specification and Verification of Interactive Systems '99
Editore:
Springer Vienna, Springer Vienna Okt 1999, 1999
ISBN 10: 3211834052
ISBN 13: 9783211834053
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Neuware -This book is the formal proceedings of the Eurographics Workshop on Design, Specifi cation and Verification ofInteractive Systems, DSV-IS'99, which was held at the Uni versity of Minho, Braga, Portugal from June 2 to June 4, 1999. The previous events of this series were held at Pisa, Toulouse, Namur, Granada, and Abingdon; the theme this year was 'Engaging the Mind by Enriching the Senses', emphasising the importance of the interface in making interaction both effective and enjoyable. Presentations and discussions covered topics that included specification methods and their use in design, model-based tool support, task and dialogue models, distributed col laboration, and models for VR input. As in previous years, there was a strong emphasis on formal representations and modelling techniques, and their use in understanding in teraction and informing the design of artefacts. However, the aim of the workshop is to encourage an exchange of views within a broad community, and other approaches, in particular tool support for model-based design, were also represented. This book includes the papers of the two invited speakers (one as an abstract only), the fourteen full papers accepted for publication, two shorter position papers, and the reports from the working group discussions. The format of the workshop aimed to mix formal paper presentations with informal discussion sessions, with the two invited talks setting the tone for the meeting.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch. Codice articolo 9783211834053
Quantità: 2 disponibili