Including Design Guidelines in the Formal Specification of Interfaces in Z.
Judy BowenSteve ReevesPublished in: ZB (2005)
Keyphrases
- formal specification
- design guidelines
- user interface
- interface design
- design issues
- model checking
- object oriented design
- educational games
- formal methods
- process algebra
- reverse engineering
- user groups
- design process
- concurrent systems
- design principles
- design decisions
- software components
- visual analytics
- data mining
- computer aided
- human computer interaction
- object oriented
- end users