|
|||||||||||||||||||
|
|||||||||||||||||||
ABSTRACT
Formal methods of generating and specifying requirements have a chequered past when it comes to dealing with interface design. The Human Computer Interface (HCI) community have not adopted formal methods with open arms [Paterno 96]. |
|||||||||||||||||||