Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers - neues Buch
2003, ISBN: 9783540399292
This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in F… Mehr…
hive.co.uk No. 9783540399292. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers - neues Buch
2003, ISBN: 9783540399292
This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in F… Mehr…
hive.co.uk No. 9783540399292. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2003, ISBN: 9783540399292
This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in F… Mehr…
Springer.com Nr. 978-3-540-39929-2. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
2003, ISBN: 9783540399292
Interactive Systems. Design Specification and Verification ab 79.99 € als pdf eBook: 10th International Workshop DSV-IS 2003 Funchal Madeira Island Portugal June 11-13 2003 Revised Papers… Mehr…
Hugendubel.de Nr. 33488541. Versandkosten:, , DE. (EUR 0.00) Details... |
2003, ISBN: 9783540399292
Interactive Systems. Design Specification and Verification - 10th International Workshop DSV-IS 2003 Funchal Madeira Island Portugal June 11-13 2003 Revised Papers: ab 79.99 € Medien > Bü… Mehr…
eBook.de Nr. 33488541. Versandkosten:, , DE. (EUR 0.00) Details... |
Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers - neues Buch
2003, ISBN: 9783540399292
This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in F… Mehr…
L. Molnar:
Interactive Systems. Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers - neues Buch2003, ISBN: 9783540399292
This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in F… Mehr…
2003
ISBN: 9783540399292
This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS 2003, held in F… Mehr…
2003, ISBN: 9783540399292
Interactive Systems. Design Specification and Verification ab 79.99 € als pdf eBook: 10th International Workshop DSV-IS 2003 Funchal Madeira Island Portugal June 11-13 2003 Revised Papers… Mehr…
2003, ISBN: 9783540399292
Interactive Systems. Design Specification and Verification - 10th International Workshop DSV-IS 2003 Funchal Madeira Island Portugal June 11-13 2003 Revised Papers: ab 79.99 € Medien > Bü… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Interactive Systems. Design, Specification, and Verification
EAN (ISBN-13): 9783540399292
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2017-02-18T09:25:40+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-10-23T14:18:15+02:00 (Berlin)
ISBN/EAN: 9783540399292
ISBN - alternative Schreibweisen:
978-3-540-39929-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hans pohl
Titel des Buches: island design, madeira
Daten vom Verlag:
Autor/in: Joaquim Jorge; Nuno Jardim Nunes; Joao Falcao e Cunha
Titel: Lecture Notes in Computer Science; Interactive Systems. Design, Specification, and Verification - 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers
Verlag: Springer; Springer Berlin
432 Seiten
Erscheinungsjahr: 2003-12-15
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
XIII, 427 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; 3D; HCI; Multimedia; Performance; System; Unified Modeling Language (UML); adaptive interfaces; human-computer interaction; intelligent interfaces; mobile devices; modeling; semi-formal methods; ubiquitous computing; user interface design; user interfaces; C; Theory of Computation; User Interfaces and Human Computer Interaction; Computer Communication Networks; Software Engineering; Computer Science Logic and Foundations of Programming; Information Storage and Retrieval; Computer Science; Mensch-Computer-Interaktion; Netzwerk-Hardware; Software Engineering; Informationsrückgewinnung, Information Retrieval; Data Warehousing; BC
Invited Paper.- Canonical Abstract Prototypes for Abstract Visual and Interaction Design.- Test and Evaluation.- Designing and Evaluating Interaction as Conversation: A Modeling Language Based on Semiotic Engineering.- Applying Extended Finite State Machines in Software Testing of Interactive Systems.- An Empirical Study of Personal Document Spaces.- Web & Groupware.- StateWebCharts: A Formal Description Technique Dedicated to Navigation Modelling of Web Applications.- Identification of Web Usability Problems and Interaction Patterns with the RealEYES-iAnalyzer.- Workspaces: A Multi-level Architectural Style for Synchronous Groupware.- Tools and Technologies.- Functionally Modeled User Interfaces.- Architectures for Widget-Level Plasticity.- Specification-Based Testing of User Interfaces.- Calligraphic Interfaces: Mixed Metaphors for Design.- Task Modeling.- Using Task Knowledge to Guide Interactor Specifications Analysis.- Higher-Order Task Models.- Derivation of a Dialog Model from a Task Model by Activity Chain Extraction.- Describing Just-UI Concepts Using a Task Notation.- Model-Based Design.- Model-Based Design of Speech Interfaces.- Model-Based Design of Adaptive User Interfaces through Connectors.- Model-Based Electronic Performance Support.- Mobile and Multiple Devices.- Improving User Interface Usability Using Mobile Agents.- Reasoning about Dynamic Information Displays.- Bridging the Gap: Developing 2D and 3D User Interfaces with the IDEAS Methodology.- UML.- Usability Design-Extending Rational Unified Process with a New Discipline.- Addressing Marketing Requirements in User-Interface Design for Multiple Platforms.- Dialog Modelling with Interactors and UML Statecharts – A Hybrid Approach.- Specification Languages.- ISML: An Interface SpecificationMeta-language.- A Review of XML-compliant User Interface Description Languages.- Contextual Design of a Computer-Supported Film Set: A Case Study.- Short Papers.- Evaluating and Comparing Interaction Styles.- A Navigation and Registration System for Mobile and Augmented Environments.- MIKE: A Multimodal Cinematographic Editor for Virtual Worlds.- An Approach to Develop User Interfaces with Plasticity.- Multimedia Environments and Interactive Scientific Presentation of Industrially-Based Data Sets.Includes supplementary material: sn.pub/extras
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...