Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle.
Meurig SageChris W. JohnsonPublished in: DSV-IS (1998)
Keyphrases
- formal methods
- development cycle
- safety critical
- formal specification
- formal analysis
- knowledge based systems
- model checking
- design process
- software development
- software engineering
- case study
- process algebra
- user interface
- formal specification language
- human computer interaction
- development lifecycle
- engineering design
- security properties
- modeling language
- artificial intelligence
- human factors
- databases
- computer aided
- software architecture