Research from Technion in the area of life sciences published

A report, "Formal analysis and automatic generation of user interfaces: approach, methodology, and an algorithm," is newly published data in Human Factors. "We present a formal approach and methodology for the analysis and generation of user interfaces, with special emphasis on human-automation interaction. A conceptual approach for modeling, analyzing, and verifying the information content of user interfaces is discussed. The proposed methodology is based on two criteria: First, the interface must be correct--that is, given the interface indications and all related information (user manuals, training material, etc.), the user must be able to successfully perform the specified...

Want to see the full article?

• Purchase this article for only $3.00