Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings - Taschenbuch
2008, ISBN: 3540705686
[EAN: 9783540705680], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; MULTIMEDIA; NETZWERK (ELEKTRONISCH); 3DINTERACTIONS; GUI; AD… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2008, ISBN: 9783540705680
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The modern world has made… Mehr…
booklooker.de |
2008, ISBN: 9783540705680
*Interactive Systems. Design Specification and Verification* - 15th International Workshop DSV-IS 2008 Kingston Canada July 16-18 2008 Proceedings. Auflage 2008 / Taschenbuch für 53.49 € … Mehr…
Hugendubel.de Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings ... / Programming and Software Engineering) - Taschenbuch
2008, ISBN: 9783540705680
Springer, 2008-08-06. Paperback. Used: Good., Springer, 2008-08-06, 2.5
Biblio.co.uk |
2008, ISBN: 9783540705680
Taschenbuch, Produktgruppe: Buch, Kategorien, Bücher, Taschenbücher, [PU: Springer, Berlin/Heidelberg]
amazon.de preigu Versandkosten:Gewöhnlich versandfertig in 4 bis 5 Tagen. Le spese di spedizione possono differire dai costi effettivi. (EUR 3.00) Details... |
Interactive Systems. Design, Specification, and Verification : 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings - Taschenbuch
2008, ISBN: 3540705686
[EAN: 9783540705680], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; MULTIMEDIA; NETZWERK (ELEKTRONISCH); 3DINTERACTIONS; GUI; AD… Mehr…
Graham, T. C. N. Palanque, Philippe:
Interactive Systems. Design, Specification, and Verification - Erstausgabe2008, ISBN: 9783540705680
Taschenbuch
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The modern world has made… Mehr…
2008
ISBN: 9783540705680
*Interactive Systems. Design Specification and Verification* - 15th International Workshop DSV-IS 2008 Kingston Canada July 16-18 2008 Proceedings. Auflage 2008 / Taschenbuch für 53.49 € … Mehr…
Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings ... / Programming and Software Engineering) - Taschenbuch
2008, ISBN: 9783540705680
Springer, 2008-08-06. Paperback. Used: Good., Springer, 2008-08-06, 2.5
2008, ISBN: 9783540705680
Taschenbuch, Produktgruppe: Buch, Kategorien, Bücher, Taschenbücher, [PU: Springer, Berlin/Heidelberg]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Interactive Systems. Design Specification and Verification
EAN (ISBN-13): 9783540705680
ISBN (ISBN-10): 3540705686
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2008
Herausgeber: Springer Berlin Heidelberg
311 Seiten
Gewicht: 0,490 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2008-05-23T15:15:38+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-03T09:18:38+01:00 (Berlin)
ISBN/EAN: 9783540705680
ISBN - alternative Schreibweisen:
3-540-70568-6, 978-3-540-70568-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: graham, palanque, philippe, nicholas
Titel des Buches: program verification, computer systems, interactive systems design specification verification, design finland, science, dsv, design 2008, canada, design international, proceedings international workshop, specification software systems
Daten vom Verlag:
Autor/in: T. C. Nicholas Graham; Philippe Palanque
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Interactive Systems. Design, Specification, and Verification - 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings
Verlag: Springer; Springer Berlin
314 Seiten
Erscheinungsjahr: 2008-07-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
IX, 314 p.
BC; Hardcover, Softcover / Informatik, EDV/Betriebssysteme, Benutzeroberflächen; Mensch-Computer-Interaktion; Verstehen; Informatik; 3D interactions; GUI; adaptive interfaces; augmented reality; collaborative design; critical systems; design; design model; dynamic configuration; formal methods; formal specifications; human computer interaction; information visualizatio; modeling; verification; User Interfaces and Human Computer Interaction; Computer Communication Networks; Software Engineering; Multimedia Information Systems; Information Storage and Retrieval; Netzwerk-Hardware; Software Engineering; Grafische und digitale Media-Anwendungen; Informationsrückgewinnung, Information Retrieval; Data Warehousing; EA
EMU in the Car: Evaluating Multimodal Usability of a Satellite Navigation System.- Comparing Mixed Interactive Systems for Navigating 3D Environments in Museums.- An Attentive Groupware Device to Mitigate Information Overload.- Multi-fidelity User Interface Specifications.- HOPS: A Prototypical Specification Tool for Interactive Systems.- Systematic Analysis of Control Panel Interfaces Using Formal Tools.- Investigating System Navigation Ergonomics through Model Verification.- Tool Support for Representing Task Models, Dialog Models and User-Interface Specifications.- Towards a Library of Workflow User Interface Patterns.- Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.- Pattern Languages as Tool for Discount Usability Engineering.- Cascading Dialog Modeling with UsiXML.- Designing Graphical Elements for Cognitively Demanding Activities: An Account on Fine-Tuning for Colors.- Lightweight Coding of Structurally Varying Dialogs.- ReWiRe: Designing Reactive Systems for Pervasive Environments.- Toward Multi-disciplinary Model-Based (Re)Design of Sustainable User Interfaces.- A Model-Based Approach to Supporting Configuration in Ubiquitous Systems.- Exploiting Web Services and Model-Based User Interfaces for Multi-device Access to Home Applications.- Resources for Situated Actions.- An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces.- COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces.- Executable Models for Human-Computer Interaction.- A Middleware for Seamless Use of Multiple Displays.- Graphic Rendering Considered as a Compilation Chain.- Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations.- Towards Characterizing Visualizations.- Towards Usability Evaluation for Smart Appliance Ensembles.- Task Model Refinement with Meta Operators.- Utilizing Dynamic Executable Models for User Interface Development.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783709136935 Design Specification and Verification of Interactive Systems '98 (Peter Johnson; Panos Markopoulos)
- 9783709136935 Design Specification and Verification of Interactive Systems '98 (Peter Johnson; Panos Markopoulos)
- 9783211834053 Design, Specification and Verification of Interactive Systems ?99 (D.J. Duke; A. Puerta)
- 9783211827390 Design Specification and Verification of Interactive Systems 95 (Palanque, Philippe)
- 9783211829004 Design Specification and Verification of Interactive Systems 96 (F. Bodart/ J. Vanderdonckt)
- 9783211832127 Design, Specification and Verification of Interactive Systems '98: Proceedings of the Eurographics Workshop in Abingdon, UK, June 3-5, 1998 Panos Mark (Panos Markopoulos; Peter Johnson)
- 9783211830550 Design, Specification And Verification Of Interactive Systems '97: Proceedings Of The Eurograhics Workshop In Granada, Spain, June 4-6, 1997 (Michael D. Harrison; Juan C. Torres)
- [(Design, Specification and Verification of Interactive Systems'96: Proceedings of the Eurographics Workshop in Namur, Belgium June 5-7, 1996 )] [Author: Francois Bodart] [Feb-1997] (Francois Bodart)
< zum Archiv...