Web-based user interface prototyping and simulation
PVSio-web is a platform for the simulation and prototyping of user interfaces that has been developed by researchers at Queen Mary University of London. This platform aims to reduce barriers to the use of PVS by users unfamiliar with formal methods. The main features of PVSio-web focus on creating,...
| Main Author: | |
|---|---|
| Format: | masterThesis |
| Language: | eng |
| Published: |
2014
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1822/36832 |
| Country: | Portugal |
| Oai: | oai:repositorium.sdum.uminho.pt:1822/36832 |