ProB2-UI: A Java-Based User Interface for ProB.
Jens BendispostoDavid GeleßusYumiko JansingMichael LeuschelAntonia PützFabian VuMichelle WerthPublished in: FMICS (2021)
Keyphrases
- user interface
- human computer interaction
- user friendly
- user interaction
- application development
- lightweight
- end users
- expert systems
- database
- three dimensional
- high quality
- cooperative
- image processing
- information technology
- trade off
- knowledge base
- decision making
- computer vision
- information retrieval
- real world
- databases
- user experience
- design principles
- data sets