Plasticity of user interfaces: formal verification of consistency.
Raquel OliveiraSophie Dupuy-ChessaGaëlle CalvaryPublished in: EICS (2015)
Keyphrases
- formal verification
- user interface
- model checking
- automated verification
- model checker
- symbolic model checking
- bounded model checking
- user experience
- program slicing
- graphical user interfaces
- design principles
- user friendly
- feed forward
- user interaction
- distributed systems
- artificial intelligence
- learning rules
- biologically plausible
- functional verification
- formal methods
- learning mechanism
- constraint networks
- service composition
- temporal logic
- human computer interaction
- source code
- object oriented
- end users