- 5 Ergebnisse
Kleinster Preis: € 52,13, größter Preis: € 55,60, Mittelwert: € 53,94
1
Interactive Systems. Design, Specification, and Verification / 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers / Joaquim Jorge (u. a.) - Jorge, Joaquim
Bestellen
bei booklooker.de
€ 52,13
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Jorge, Joaquim:

Interactive Systems. Design, Specification, and Verification / 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers / Joaquim Jorge (u. a.) - Taschenbuch

2003, ISBN: 9783540201595

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Design, Specification, and Verification… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
zuklappen (X)
2
Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13,
Bestellen
bei BarnesandNoble.com
€ 54,99
Bestellen
Details und Versand
gesponserter Link
Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, - neues Buch

2003, ISBN: 9783540201595

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…

new in stock. Versandkosten:zzgl. Versandkosten.
zuklappen (X)
3
Interactive Systems. Design, Specification, and Verification 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers - Jorge, Joaquim (Herausgeber); Falcao e Cunha, Joao (Herausgeber); Jardim Nunes, Nuno (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Jorge, Joaquim (Herausgeber); Falcao e Cunha, Joao (Herausgeber); Jardim Nunes, Nuno (Herausgeber):
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: 3540201599

2003 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Oberflächengestaltung, Kommunikation (Technik), Software Engineering, Data Warehousing, Informationsrückgewinnung, Informat… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Interactive Systems. Design, Specification, and Verification, Kartoniert (TB)
Bestellen
bei Weltbild.de
€ 53,49
Versand: € 14,951
Bestellen
Details beim Anbieter
gesponserter Link
Interactive Systems. Design, Specification, and Verification, Kartoniert (TB) - neues Buch

2003, ISBN: 3540201599

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…

Nr. 24007445. Versandkosten:, 2-5 Werktage, plus shipping costs. (EUR 14.95)
zuklappen (X)
5
Interactive Systems. Design Specification and Verification
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 7,501
Bestellen
Details beim Anbieter
gesponserter Link
Interactive Systems. Design Specification and Verification - Taschenbuch

2003, ISBN: 9783540201595

*Interactive Systems. Design Specification and Verification* - 10th International Workshop DSV-IS 2003 Funchal Madeira Island Portugal June 11-13 2003 Revised Papers. Auflage 2003 / Tasch… Mehr…

3540201599. Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., plus shipping costs. (EUR 7.50)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13,
Autor:
Titel:
ISBN-Nummer:

9783540201595


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 Funchal, Madeira Island, Portugal, in June 2003.The 26 revised full papers and 5 revised short papers presented together with an invited paper have passed through two rounds of reviewing, selection, and improvement. The papers are organized in topical sections on test and evaluation, Web and groupware, tools and technologies, task modeling, model-based design, mobile and multiple devices, UML, and specification languages.

Detailangaben zum Buch - Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13,


EAN (ISBN-13): 9783540201595
ISBN (ISBN-10): 3540201599
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2003
Herausgeber: Springer Berlin Heidelberg Core >1 >T
448 Seiten
Gewicht: 0,672 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-07-12T21:32:44+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-01-11T13:45:02+01:00 (Berlin)
ISBN/EAN: 9783540201595

ISBN - alternative Schreibweisen:
3-540-20159-9, 978-3-540-20159-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: nuno, jardim, cunha, joaquim nunes
Titel des Buches: madeira, portugal, interactive systems design specification verification, june, dsv, funchal, design paper, island, design international

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-10-09
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XIII, 432 p.

BC; Hardcover, Softcover / 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; 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; Mensch-Computer-Interaktion; Netzwerk-Hardware; Software Engineering; Informationsrückgewinnung, Information Retrieval; Data Warehousing; EA

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
< zum Archiv...