Formal methods improve the development process and quality assurance in system design and implementation. This text examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods offer useful support in usability evaluation.
Formal methods improve the development process and quality assurance in system design and implementation. This text examines whether these benefits al...
