Applying cognitive dimensions to evaluate and improve the usability of Z formalism
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
From a Formal User Model to Design Rules
DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
An investigation into the validation of formalised cognitive dimensions
DSVIS'06 Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification
| Hi-index | 0.00 |