Interactive Systems: Design, Specification, and Verification

The book is organized around three topics:

• Modelling in Design of Interactive Systems. Consideration of the use of abstractions and models for supporting the work of software designers in the development of interactive systems; bridging of the gap between conceptual design of interactive systems and determination of software implementation; integration of task analysis and functional requirements.

• Tasks and Specification. Introduction of the user point of view in the modelling and design of user interfaces; investigation of the relationship between information presented by the system and information required by the user.

• Formal Specification. Comparison of different notations and approaches to formal specification; consideration of specific applications such as interactive knowledge based systems.