Investigating formal specification of graphical interface design for an interactive constraint based resource allocation system.
Mary ZajicekKen W. BrownsleyPublished in: SEKE (1994)
Keyphrases
- formal specification
- interface design
- human computer interaction
- object oriented design
- model checking
- user interface
- process algebra
- user centered
- user experience
- information seeking
- design principles
- concurrent systems
- advisory systems
- reverse engineering
- formal methods
- database
- information resources
- user interaction
- digital libraries
- case study
- information retrieval