Visualisation of Executable Formal Specifications for User Validation.
Mehmet Bülent ÖzcanP. W. ParryIan C. MorreyJawed I. A. SiddiqiPublished in: Services and Visualization: Towards User-Friendly Design (1998)
Keyphrases
- formal specification
- model checking
- specification languages
- object oriented design
- specification language
- user interface
- reverse engineering
- process algebra
- formal methods
- user preferences
- user defined
- design methodology
- fine grained
- distributed systems
- databases
- user interaction
- end users
- concurrent systems
- recommender systems
- web services