Author of the publication

Beyond usability for safety critical systems: how to be sure (safe, usable, reliable, and evolvable)?

, , , , , and . CHI Extended Abstracts, page 2133-2136. ACM, (2007)

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.

 

Other publications of authors with the same name

An Architecture and a Formal Description Technique for the Design and Implementation of Reconfigurable User Interfaces., , , and . DSV-IS, volume 5136 of Lecture Notes in Computer Science, page 208-224. Springer, (2008)Proposta de um framework para visualização de dados agregados por similaridade para auxiliar consultas durante a navegação na web., , , , , , and . IHC, page 148-157. Brazilian Computer Society / ACM, (2013)A Formal Specification of the CORBA Event Service., , , and . FMOODS, volume 177 of IFIP Conference Proceedings, page 371-395. Kluwer, (2000)Model-Based Interactive Prototyping of Highly Interactive Applications., , and . CADUI, page 205-216. Kluwer, (2002)Engaging Automation at Work - A Literature Review., , and . HWID, volume 544 of IFIP Advances in Information and Communication Technology, page 158-172. Springer, (2018)Topics of Formal Methods in HCI., , , and . Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, (2017)Exploiting Action Theory as a Framework for Analysis and Design of Formal Methods Approaches: Application to the CIRCUS Integrated Development Environment., , , , , and . Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, (2017)Case Studies., , , , and . Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, (2017)Trends and Gaps., , , and . Handbook of Formal Methods in Human-Computer Interaction, Springer International Publishing, (2017)Beyond modelling: an integrated environment supporting co-execution of tasks and systems models., , , , and . EICS, page 165-174. ACM, (2010)