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.
