Design, Specification and Verification of Interactive Systems ¿95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7¿9, 1995 - Livro de bolso
1995, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [SC: 0.0], [PU: Springer Vienna], ENTWURF - ENTWERFEN; INTERAKTION (EDV); VERIFIKATION VERIFIZIEREN; INFORMATION; INTERACTIVESYSTEM; MODELING; PETRINET; USE… mais…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Custos de envio: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… mais…
AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Custos de envio: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… mais…
Hugendubel.de 3211827390. Custos de envio: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 - Livro de bolso
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 ] - Livro de bolso
2000, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [PU: Springer], Books
AbeBooks.de booksXpress, Freehold, NJ, U.S.A. [71410708] [Rating: 4 (von 5)] NEW BOOK. Custos de envio: EUR 8.08 Details... |
Design, Specification and Verification of Interactive Systems ¿95 : Proceedings of the Eurographics Workshop in Toulouse, France, June 7¿9, 1995 - Livro de bolso
1995, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [SC: 0.0], [PU: Springer Vienna], ENTWURF - ENTWERFEN; INTERAKTION (EDV); VERIFIKATION VERIFIZIEREN; INFORMATION; INTERACTIVESYSTEM; MODELING; PETRINET; USE… mais…
Palanque, Philippe|Bastide, Remi:
Design, Specification and Verification of Interactive Systems 95 - Livro de bolso1995, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [PU: Springer Vienna], ENTWURF - ENTWERFEN INTERAKTION (EDV) VERIFIKATION VERIFIZIEREN INFORMATION INTERACTIVESYSTEM MODELING PETRINET USERINTERFACE VISUALI… mais…
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… mais…
Design, Specification and Verification of Interactive Systems? 95: Proceedings of the Eurographics Workshop in Toulouse, France, June 7? 9, 1995 - Livro de bolso
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 ] - Livro de bolso
2000, ISBN: 3211827390
[EAN: 9783211827390], Neubuch, [PU: Springer], Books
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - Design Specification and Verification of Interactive Systems 95
EAN (ISBN-13): 9783211827390
ISBN (ISBN-10): 3211827390
Livro de capa dura
Livro de bolso
Ano de publicação: 1995
Editor/Editora: Springer Vienna
Livro na base de dados desde 2007-05-08T05:04:20-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-01-16T12:46:28-03:00 (Sao Paulo)
Número ISBN/EAN: 3211827390
Número ISBN - Ortografia alternativa:
3-211-82739-0, 978-3-211-82739-0
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: palanque, bastide francois régis, croce
Título do livro: interactive systems design specification verification, eurographics, toulouse, workshop
Dados da editora
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
Editora: Springer; Springer Wien
374 Páginas
Ano de publicação: 1995-09-14
Vienna
Língua: 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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
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 arquivar...