Design, Specification and Verification of Interactive Systems ¿95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7¿9, 1995 - edizione con copertina flessibile
1995, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [SC: 0.0], [PU: Springer Vienna], ENTWURF - ENTWERFEN; INTERAKTION (EDV); VERIFIKATION VERIFIZIEREN; INFORMATION; INTERACTIVESYSTEM; MODELING; PETRINET; USE… Altro …
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
Design, Specification and Verification of Interactive Systems 95 - edizione con copertina flessibile
1995, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [PU: Springer Vienna], ENTWURF - ENTWERFEN INTERAKTION (EDV) VERIFIKATION VERIFIZIEREN INFORMATION INTERACTIVESYSTEM MODELING PETRINET USERINTERFACE VISUALI… Altro …
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Costi di spedizione: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… Altro …
Hugendubel.de 3211827390. Costi di spedizione: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 - edizione con copertina flessibile
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 ] - edizione con copertina flessibile
2000, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [PU: Springer], Books
AbeBooks.de booksXpress, Freehold, NJ, U.S.A. [71410708] [Rating: 4 (von 5)] NEW BOOK. Costi di spedizione: EUR 8.08 Details... |
Design, Specification and Verification of Interactive Systems ¿95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7¿9, 1995 - edizione con copertina flessibile
1995, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [SC: 0.0], [PU: Springer Vienna], ENTWURF - ENTWERFEN; INTERAKTION (EDV); VERIFIKATION VERIFIZIEREN; INFORMATION; INTERACTIVESYSTEM; MODELING; PETRINET; USE… Altro …
Palanque, Philippe|Bastide, Remi:
Design, Specification and Verification of Interactive Systems 95 - edizione con copertina flessibile1995, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [PU: Springer Vienna], ENTWURF - ENTWERFEN INTERAKTION (EDV) VERIFIKATION VERIFIZIEREN INFORMATION INTERACTIVESYSTEM MODELING PETRINET USERINTERFACE VISUALI… Altro …
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… Altro …
Design, Specification and Verification of Interactive Systems? 95: Proceedings of the Eurographics Workshop in Toulouse, France, June 7? 9, 1995 - edizione con copertina flessibile
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]
Design, Specification and Verification of Interactive Systems '95" (Eurographics) [Soft Cover ] - edizione con copertina flessibile
2000, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [PU: Springer], Books
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Design Specification and Verification of Interactive Systems 95
EAN (ISBN-13): 9783211827390
ISBN (ISBN-10): 3211827390
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1995
Editore: Springer Vienna
Libro nella banca dati dal 2007-05-08T10:04:20+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-01-16T16:46:28+01:00 (Zurich)
ISBN/EAN: 3211827390
ISBN - Stili di scrittura alternativi:
3-211-82739-0, 978-3-211-82739-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : palanque, bastide francois régis, croce
Titolo del libro: interactive systems design specification verification, eurographics, toulouse, workshop
Dati dell'editore
Autore: Philippe Palanque; Remi Bastide
Titolo: Eurographics; Design, Specification and Verification of Interactive Systems ’95 - Proceedings of the Eurographics Workshop in Toulouse, France, June 7–9, 1995
Editore: Springer; Springer Wien
374 Pagine
Anno di pubblicazione: 1995-09-14
Vienna
Lingua: Inglese
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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
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)
< Per archiviare...