From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Un processus de développement outillé pour l'exploitation systématique des bénéfices offerts par une conception des systèmes interactifs centrée tâches.

C. Martinie, P. Palanque, D. Navarre, E. Barboni, и M. Winckler. Ergo'IHM, стр. 81. ACM, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Bodo David

Erich David

Ernst David

Baruch Davidoff

Frida David

Другие публикации лиц с тем же именем

Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language.E. Barboni, C. Martinie, D. Navarre, P. Palanque, и M. Winckler. Sci. Comput. Program., (2014)Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces.J. Ladry, D. Navarre, и P. Palanque. ICMI, стр. 185-192. ACM, (2009)High-Fidelity Prototyping of Interactive Systems Can Be Formal Too.P. Palanque, J. Ladry, D. Navarre, и E. Barboni. HCI (1), том 5610 из Lecture Notes in Computer Science, стр. 667-676. Springer, (2009)A fault-tolerant architecture for resilient interactive systems.C. Fayollas, P. Palanque, J. Fabre, D. Navarre, E. Barboni, M. Cronel, и Y. Deleris. IHM, стр. 80-90. ACM, (2014)The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?D. Navarre, и P. Palanque. EICS, стр. 155-156. ACM, (2009)Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets.D. Navarre, P. Palanque, S. Coppers, K. Luyten, и D. Vanacken. FM Workshops (1), том 12232 из Lecture Notes in Computer Science, стр. 503-519. Springer, (2019)PANDA: prototyping using annotation and decision analysis.J. Hak, M. Winckler, и D. Navarre. EICS, стр. 171-176. ACM, (2016)A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics.C. Fayollas, J. Fabre, P. Palanque, M. Cronel, D. Navarre, и Y. Deleris. PRDC, стр. 21-30. IEEE Computer Society, (2014)A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications.D. Navarre, P. Palanque, R. Bastide, A. Schyn, M. Winckler, L. Nedel, и C. Freitas. INTERACT, том 3585 из Lecture Notes in Computer Science, стр. 170-183. Springer, (2005)A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems.D. Navarre, P. Palanque, и S. Basnyat. SAFECOMP, том 5219 из Lecture Notes in Computer Science, стр. 373-386. Springer, (2008)

BibSonomy

Disambiguation