A Preliminary Experiment of Checking Usability Principles with Formal Methods.
Steinar KristoffersenPublished in: ACHI (2009)
Keyphrases
- formal methods
- development lifecycle
- formal analysis
- formal specification
- safety critical
- model checking
- knowledge based systems
- model checker
- artificial intelligence
- provably correct
- process algebra
- temporal properties
- software engineering
- interface design
- building blocks
- design principles
- databases
- open source
- high level