Design, Specification and Verification of Interactive Systems '96

Making systems easier to use implies an ever increasing complexity in managing communication between users and applications. Indeed an increasing part of the application code is devoted to the user interface portion. In order to manage this complexity, it is important to have tools, notations, and methodologies which support the designer’s work during the refinement process from specification to i...