4 days ago · Formal methods are techniques used to model complex systems as mathematical entities. By building a mathematically rigorous model of a complex system, designers can not …

The use of Formal Methods in human-computer interaction dates back to its earliest days as a growing discipline, including Phyllis Reisner's use of BNF to specify user interfaces in 1981 …

Human Computer Interaction (HCI) involves a multitude of formal methods to record ideas and other types of information. This article explores the 3 main types.

User research (and other kinds of research) is often divided into quantitative and qualitative methods. Surveys and formal experiments such as A/B testing and tree testing are examples …

Discover the power of triangulation in user research. Learn to combine multiple methods and data sources to enhance the reliability of your research findings.

The use of Formal Methods in human-computer interaction dates back to its earliest days as a growing discipline, includi Book chapter Read book chapter

Explore user perspectives deeply with semi-structured interviews, blending structured and open-ended questions effectively.

Design thinking is a non-linear, iterative process that teams use to understand users, challenge assumptions, redefine problems and create innovative solutions.

' Design Thinking ' may seem tautological (after all, what design process doesn't involve thinking?), but this is a relatively new user-centred approach to design, which marries many of …

This is doubly so when you compare it to more formal usability testing methods. It only takes a single professional to conduct an expert review. It is a great way to inform further UX research …