Interactive Systems: Design, Specification, and Verification

by Fabio Paternó

Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface.…