Interactive Systems: Design, Specification, and Verification

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. In order to manage this complexity, it is very important to have tools, notations, and methodologies that support the designer''s work during the refinement process from specification to implementation....