Design, Specification and Verification of Interactive Systems ¿95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7¿9, 1995 - Taschenbuch
1995, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [SC: 0.0], [PU: Springer Vienna], ENTWURF - ENTWERFEN; INTERAKTION (EDV); VERIFIKATION VERIFIZIEREN; INFORMATION; INTERACTIVESYSTEM; MODELING; PETRINET; USE… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
1995, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [PU: Springer Vienna], ENTWURF - ENTWERFEN INTERAKTION (EDV) VERIFIKATION VERIFIZIEREN INFORMATION INTERACTIVESYSTEM MODELING PETRINET USERINTERFACE VISUALI… Mehr…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783211827390
*Design Specification and Verification of Interactive Systems 95* - Proceedings of the Eurographics Workshop in Toulouse France June 79 1995. Softcover reprint of the original 1st ed. 199… Mehr…
Hugendubel.de 3211827390. Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00) Details... |
Design, Specification and Verification of Interactive Systems? 95: Proceedings of the Eurographics Workshop in Toulouse, France, June 7? 9, 1995 - Taschenbuch
1995, ISBN: 9783211827390
paperback, Access codes and supplements are not guaranteed with used items. May be an ex-library book., Gebraucht, guter Zustand, [PU: Springer]
alibris.co.uk |
Design, Specification and Verification of Interactive Systems '95" (Eurographics) [Soft Cover ] - Taschenbuch
2000, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [PU: Springer], Books
AbeBooks.de booksXpress, Freehold, NJ, U.S.A. [71410708] [Rating: 4 (von 5)] NEW BOOK. Versandkosten: EUR 8.08 Details... |
Design, Specification and Verification of Interactive Systems ¿95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7¿9, 1995 - Taschenbuch
1995, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [SC: 0.0], [PU: Springer Vienna], ENTWURF - ENTWERFEN; INTERAKTION (EDV); VERIFIKATION VERIFIZIEREN; INFORMATION; INTERACTIVESYSTEM; MODELING; PETRINET; USE… Mehr…
Palanque, Philippe|Bastide, Remi:
Design, Specification and Verification of Interactive Systems 95 - Taschenbuch1995, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [PU: Springer Vienna], ENTWURF - ENTWERFEN INTERAKTION (EDV) VERIFIKATION VERIFIZIEREN INFORMATION INTERACTIVESYSTEM MODELING PETRINET USERINTERFACE VISUALI… Mehr…
ISBN: 9783211827390
*Design Specification and Verification of Interactive Systems 95* - Proceedings of the Eurographics Workshop in Toulouse France June 79 1995. Softcover reprint of the original 1st ed. 199… Mehr…
Design, Specification and Verification of Interactive Systems? 95: Proceedings of the Eurographics Workshop in Toulouse, France, June 7? 9, 1995 - Taschenbuch
1995, ISBN: 9783211827390
paperback, Access codes and supplements are not guaranteed with used items. May be an ex-library book., Gebraucht, guter Zustand, [PU: Springer]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Design Specification and Verification of Interactive Systems 95
EAN (ISBN-13): 9783211827390
ISBN (ISBN-10): 3211827390
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1995
Herausgeber: Springer Vienna
Buch in der Datenbank seit 2007-05-08T10:04:20+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-01-16T16:46:28+01:00 (Berlin)
ISBN/EAN: 9783211827390
ISBN - alternative Schreibweisen:
3-211-82739-0, 978-3-211-82739-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: palanque, bastide francois régis, croce
Titel des Buches: interactive systems design specification verification, eurographics, toulouse, workshop
Daten vom Verlag:
Autor/in: Philippe Palanque; Remi Bastide
Titel: Eurographics; Design, Specification and Verification of Interactive Systems ’95 - Proceedings of the Eurographics Workshop in Toulouse, France, June 7–9, 1995
Verlag: Springer; Springer Wien
374 Seiten
Erscheinungsjahr: 1995-09-14
Vienna
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 374 p. 138 illus.
BC; Hardcover, Softcover / Informatik, EDV/Anwendungs-Software; Grafikprogrammierung; Verstehen; information; interactive system; modeling; petri net; user interface; visualization; Computer Graphics; Computer Vision; Coding and Information Theory; Maschinelles Sehen, Bildverstehen; Kodierungstheorie und Verschlüsselung (Kryptologie); Informationstheorie; EA
Invited Talks.- Interaction, Cognition and Visualization.- Formal Specification Techniques for Interactive Systems.- Interacting with Information.- User-Side Modeling and Co-Modeling.- A User Interface Evaluation Mapping Physical User Actions to Task-Driven Formal Specifications.- Interaction and Task Requirements.- Revising Mental Models to Accomodate Expectation Failures in Human-Computer Dialogues.- The Application of Petri Nets to Represent and Reason about Human Factors Problems during Accident Analyses.- Requirements for Formal Specification.- Requirements for the Next Generation of User Interface Specification Languages.- Exploring Design Options Rationally.- Moving between Contexts.- Prototyping, Generation and Evaluation.- Combining Formal Techniques and Prototyping in User Interface Construction and Verification.- Modelling and Generation of Graphical User Interfaces in the TADEUS Approach.- Four Different Measures to Quantify Three Usabiliy Attributes: ‘Feedback’, Interface Directness’ and ‘Flexibility‘.- Design and Verification.- Proving the Correctness of Formal User Interface Specifications.- A Software Demonstrator of Modality Theory.- Towards a Systematic Building of Software Architecture: The TRIDENT Methodological Guide.- The Design of Narrative Virtual Environments.- On the Expression of Interaction Properties within an Interactor Model.- Applying a Structured Method for Usability Engineering To Recreational Facilities Booking User Requirements: A Successful Case Study.- A Formal Design for Mutually Composed Multiple Media in Presentations.- Reports from Working Groups.- Role of Verification.- The Challenge of Time.- Working Group Report: User and Task Modeling.- Towards a Taxonomy for Interactive Graphics Systems.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)
- 9783709168158 Design Specification and Verification of Interactive Systems '99 (D.J. Duke; A. Puerta)
- 9783211834053 Design, Specification and Verification of Interactive Systems ?99 (D.J. Duke; A. Puerta)
- 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...