Developing usable web interfaces with the aid of automatic verification of their formal specification
Keywords: رابط کاربر گرافیکی; Graphical user interface; Usability evalution; Grammars formalism