Emma Triffitt

Learn More
Cognitive Dimensions framework is a useful tool with which the usability of information artifact can be evaluated. We have used this frame work to evaluate the usability of Z formalism in TranZit environment. The target group for this usability exercise were beginners of formal specifications in Z. A number of deficiencies due to notational issues and(More)
  • 1