Formaliser - An Interactive Support Tool for Z.
Mike FlynnTim HoverdDavid BrazierPublished in: Z User Workshop (1989)
Keyphrases
- user friendly
- web environment
- design tools
- web interface
- seamlessly integrated
- end users
- neural network
- software tools
- interactive learning environments
- user interaction
- decision support
- genetic algorithm
- information visualization
- visual analytics
- graphical interface
- knowledge management
- object oriented
- artificial intelligence