Literate Specification: Using Design Rationale to Support Formal Methods in the Development of Human-Machine Interfaces.
Christopher W. JohnsonPublished in: Hum. Comput. Interact. (1996)
Keyphrases
- formal methods
- design rationale
- safety critical
- software engineering
- knowledge based systems
- human machine interfaces
- formal specification
- development lifecycle
- development process
- provably correct
- support systems
- process algebra
- modeling language
- model checking
- artificial intelligence
- reactive systems
- human machine interface
- software application
- case study
- formal semantics
- databases
- software design
- design patterns
- knowledge management
- semi automatic
- high level
- metamodel
- distance education
- multi agent systems
- database systems
- database