( en | de | ru )

 

Disambiguation of "Navarre, David"

Author of the publication

copydeleteadd this publication to your clipboard
Concept Maps for Integrating Modeling Techniques for the Analysis and Re-Design of Partly-Autonomous Interactive Systems.

, , , , and . ATACCS, page 41-52. ACM, (2015)

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. You can also use the button next to the name to display some publications already assigned to the person.

Bodo David

Erich David

Ernst David

Baruch Davidoff

Frida David

 

Other publications of authors with the same name

The future of design specification and verification of safety critical interactive systems.: can our systems be sure (safe, usable, reliable and evolvable)?, and . EICS, page 155-156. ACM, (2009)Formal description techniques to support the design, construction and evaluation of fusion engines for sure (safe, usable, reliable and evolvable) multimodal interfaces., , and . ICMI, page 185-192. ACM, (2009)Bridging the gap between a behavioural formal description technique and a user interface description language: Enhancing ICO with a graphical user interface markup language., , , , and . Sci. Comput. Program., (2014)A fault-tolerant architecture for resilient interactive systems., , , , , , and . IHM, page 80-90. ACM, (2014)High-Fidelity Prototyping of Interactive Systems Can Be Formal Too., , , and . HCI (1), volume 5610 of Lecture Notes in Computer Science, page 667-676. Springer, (2009)PANDA: prototyping using annotation and decision analysis., , and . EICS, page 171-176. ACM, (2016)Fortune Nets for Fortunettes: Formal, Petri Nets-Based, Engineering of Feedforward for GUI Widgets., , , , and . FM Workshops (1), volume 12232 of Lecture Notes in Computer Science, page 503-519. Springer, (2019)A Software-Implemented Fault-Tolerance Approach for Control and Display Systems in Avionics., , , , , and . PRDC, page 21-30. IEEE Computer Society, (2014)A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications., , , , , , and . INTERACT, volume 3585 of Lecture Notes in Computer Science, page 170-183. Springer, (2005)Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661., , , , , and . FTSCS, volume 1165 of Communications in Computer and Information Science, page 21-39. Springer, (2019)