PVSio-web: a tool for rapid prototyping device user interfaces in PVS.
Patrick OladimejiPaolo MasciPaul CurzonHarold W. ThimblebyPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2013)
Keyphrases
- rapid prototyping
- user interface
- end users
- user experience
- user friendly
- smart spaces
- website
- development environment
- web applications
- visual programming
- semantic web
- agent oriented programming
- web pages
- web mining
- web intelligence
- web documents
- graphical user interface
- user interaction
- human computer interaction
- simulation platform
- visualization tool
- programming language
- theorem proving
- formal verification
- code generation
- graphical user interfaces
- user friendly interface
- search engine
- database