Use of Executable Formal Specifications in User Validation.
Mehmet Bülent ÖzcanPublished in: Softw. Pract. Exp. (1998)
Keyphrases
- formal specification
- specification languages
- process algebra
- object oriented design
- model checking
- formal methods
- end users
- specification language
- reverse engineering
- user interface
- user interaction
- concurrent systems
- relevance feedback
- user defined
- software testing
- key features
- design methodology
- database
- user preferences
- user profiles
- artificial intelligence
- databases