UX Recorder: Screen capturing software for iOS. Learn more.

Glossary » formal usability methods

formal usability methods

methods to specify user interfaces, where “formal” means that the specification notation is unambiguous, as in mathematical or computational representations. Formal methods may be used to simplify specifications, to automatically generate a user interface from a specification, or to guarantee that certain properties of an interface are achieved.