Z Browser - A Tool for Visualization of Z Specifications.
Lubos MikusiakVladimir VojtekJozef HasaralejkoJana HanzelováPublished in: ZUM (1995)
Keyphrases
- graphical user interface
- visual representation
- software tools
- visualization tool
- high level
- visual representations
- visualization tools
- data analysis
- information visualization
- interactive exploration
- website
- interactive visualization
- user interface
- database
- data visualization
- multidimensional scaling
- specification language
- formal specification
- open source
- natural language
- multi agent
- database systems
- data sets