|
|||||
|
|
Developing usable web interfaces with the aid of automatic verification of their formal specification |
|
| Authors: | Rosanna Cassino Maurizio Tucci |
| Affiliation: | a Dipartimento di Matematica e Informatica, Università degli Studi di Salerno, Via Ponte Don Melillo, 84084 - Fisciano (SA), Italy |
| Abstract: | |
| Keywords: | Graphical user interface Usability evalution Grammars formalism |
| 本文献已被 ScienceDirect 等数据库收录！ | |