Prototyping with the IVY Workbench: Bridging Formal Methods and User-Centred Design.
Rafael Braga da CostaJosé Creissac CamposPublished in: INTERACT (2) (2023)
Keyphrases
- formal methods
- user centred design
- human factors
- human computer interaction
- user interface
- user centred
- safety critical
- social intelligence
- development process
- software engineering
- artificial intelligence
- knowledge based systems
- model checking
- formal specification
- knowledge representation
- expert systems
- development lifecycle
- building blocks
- knowledge acquisition
- emotional intelligence
- database systems
- machine learning