From the Formal Specifications of Users Tasks to the Automatic Generation of the HCI Specifications.
Adel MahfoudhiMourad AbedDimitri TabaryPublished in: BCS HCI/IHM (2001)
Keyphrases
- formal specification
- specification language
- specification languages
- concurrent systems
- model checking
- automated tools
- end users
- human computer interaction
- object oriented design
- user interface
- design methodology
- interface design
- formal methods
- working environment
- protocol specification
- automatically generate
- reverse engineering
- user interaction
- information systems
- human computer interface
- communication networks
- temporal logic
- recommender systems
- formal specification language