Interactive Specification and Formal Verification of User's Views in Data Bases Design.
C. BaldisseraStefano CeriGiuseppe PelagattiGiampio BracchiPublished in: VLDB (1979)
Keyphrases
- formal verification
- model checking
- user interaction
- user interface
- functional verification
- automated verification
- model checker
- symbolic model checking
- user centered
- temporal logic
- user experience
- databases
- user defined
- virtual reality
- mixed initiative
- database systems
- high level
- human friendly
- case study
- rough sets
- interactive systems
- single user
- state space
- interaction design