Puerta / Duke | Design, Specification and Verification of Interactive Systems '99 | Buch | 978-3-211-83405-3 | sack.de

Buch, Englisch, 282 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 515 g

Reihe: Eurographics

Puerta / Duke

Design, Specification and Verification of Interactive Systems '99

Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999
Softcover Nachdruck of the original 1. Auflage 1999
ISBN: 978-3-211-83405-3
Verlag: Springer Vienna

Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999

Buch, Englisch, 282 Seiten, Format (B × H): 170 mm x 244 mm, Gewicht: 515 g

Reihe: Eurographics

ISBN: 978-3-211-83405-3
Verlag: Springer Vienna


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.

Puerta / Duke Design, Specification and Verification of Interactive Systems '99 jetzt bestellen!

Zielgruppe


Research


Autoren/Hrsg.


Weitere Infos & Material


Invited Talks.- Haptic Interactions in the Real and Virtual Worlds.- Matching Technology to People for Telepresence.- Papers Presented.- An Analysis and a Model of 3D Interaction Methods and Devices for Virtual Reality.- Towards Hybrid Interface Specification for Virtual Environments.- Contrasting Models for Visualization (Seeing the Wood through the Trees).- Towards User Interfaces for Rapid Prototyping from Algebraic Specifications.- Computer-Aided Design of Menu Bar and Pull-Down Menus for Business Oriented Applications.- Presentation Models by Example.- Refinement of the PAC Model for the Component-based Design and Specification of Television-based Interfaces.- Flexibly Mapping Synchronous Groupware Architectures to Distributed Implementations.- Using TRIO Specifications to Generate Test Cases for an Interactive System.- Using Automated Reasoning in the Design of an Audio-Visual Communication System.- Analysing User Deviations in Interactive Safety-Critical Applications.- Dialogue Validation from Task Analysis.- Task and Object-Oriented Development of Interactive Systems — How Many Models are Necessary?.- Usability Properties in Dialog Models.- Position Papers.- Cross-Contextual Reference in Human-Computer Interaction.- Modelisation of Co-operative Work.- Working Group Discussions.- Discussion Topics for the DSV-IS’99 Working Groups.- Working Group 1 Report.- Working Group 2 Report.- Working Group 3 Report.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.