Design, Specification and Verification of Interactive Systems '97

by Michael Douglas Harrison

An increasing recognition of the role of the human-system interface is leading to new extensions and styles of specification. Techniques are being developed that facilitate the expression of user-o…