Building a Formal Model of a Human-interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering.
Matthew L. BoltonEllen J. BassPublished in: NASA Formal Methods (2009)
Keyphrases
- human factors
- formal model
- formal methods
- security properties
- product configuration
- software engineering
- human computer interaction
- safety critical
- formal analysis
- artificial intelligence
- development lifecycle
- model checking
- knowledge based systems
- modeling language
- user centred design
- security patterns
- formal specification
- databases
- data model
- relational databases
- machine learning