Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based technique.
Yamine Aït AmeurMickaël BaronPublished in: ISoLA (Preliminary proceedings) (2004)
Keyphrases
- human computer interface
- formal methods
- interactive systems
- human computer interaction
- design choices
- knowledge based systems
- building blocks
- human factors
- design criteria
- commercial products
- design process
- interaction design
- case study
- support systems
- design issues
- event detection
- complex systems
- management system
- event processing
- human computer interactions
- neural network
- media technology
- theorem prover
- design principles
- software architecture
- computer systems
- intelligent systems
- expert systems