Formal Specification of Multi-Window User Interface in PVS.
Kalyani SinghBrent AuernheimerPublished in: HCI (26) (2016)
Keyphrases
- formal specification
- user interface
- model checking
- specification languages
- specification language
- object oriented design
- process algebra
- formal verification
- reverse engineering
- timed automata
- formal methods
- concurrent systems
- software components
- data abstraction
- model checker
- sliding window
- cooperative
- computation tree logic
- xml schema
- response time
- fuzzy logic
- natural language