Design, Specification and Verification of Interactive Systems ¿95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7¿9, 1995 - Pasta blanda
1995, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [SC: 0.0], [PU: Springer Vienna], ENTWURF - ENTWERFEN; INTERAKTION (EDV); VERIFIKATION VERIFIZIEREN; INFORMATION; INTERACTIVESYSTEM; MODELING; PETRINET; USE… Más…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Gastos de envío: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… Más…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Gastos de envío: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… Más…
Hugendubel.de 3211827390. Gastos de envío: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 - Pasta blanda
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 ] - Pasta blanda
2000, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [PU: Springer], Books
AbeBooks.de booksXpress, Freehold, NJ, U.S.A. [71410708] [Rating: 4 (von 5)] NEW BOOK. Gastos de envío: EUR 8.08 Details... |
Design, Specification and Verification of Interactive Systems ¿95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7¿9, 1995 - Pasta blanda
1995, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [SC: 0.0], [PU: Springer Vienna], ENTWURF - ENTWERFEN; INTERAKTION (EDV); VERIFIKATION VERIFIZIEREN; INFORMATION; INTERACTIVESYSTEM; MODELING; PETRINET; USE… Más…
Palanque, Philippe|Bastide, Remi:
Design, Specification and Verification of Interactive Systems 95 - Pasta blanda1995, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [PU: Springer Vienna], ENTWURF - ENTWERFEN INTERAKTION (EDV) VERIFIKATION VERIFIZIEREN INFORMATION INTERACTIVESYSTEM MODELING PETRINET USERINTERFACE VISUALI… Más…
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… Más…
Design, Specification and Verification of Interactive Systems? 95: Proceedings of the Eurographics Workshop in Toulouse, France, June 7? 9, 1995 - Pasta blanda
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]
Datos bibliográficos del mejor libro coincidente
Detalles del libro - Design Specification and Verification of Interactive Systems 95
EAN (ISBN-13): 9783211827390
ISBN (ISBN-10): 3211827390
Tapa dura
Tapa blanda
Año de publicación: 1995
Editorial: Springer Vienna
Libro en la base de datos desde 2007-05-08T10:04:20+02:00 (Madrid)
Página de detalles modificada por última vez el 2024-01-16T16:46:28+01:00 (Madrid)
ISBN/EAN: 3211827390
ISBN - escritura alterna:
3-211-82739-0, 978-3-211-82739-0
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: palanque, bastide francois régis, croce
Título del libro: interactive systems design specification verification, eurographics, toulouse, workshop
Datos del la editorial
Autor: Philippe Palanque; Remi Bastide
Título: Eurographics; Design, Specification and Verification of Interactive Systems ’95 - Proceedings of the Eurographics Workshop in Toulouse, France, June 7–9, 1995
Editorial: Springer; Springer Wien
374 Páginas
Año de publicación: 1995-09-14
Vienna
Idioma: Inglés
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.Más, otros libros, que pueden ser muy parecidos a este:
Último libro similar:
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)
< para archivar...