A Study of Usability of Z Formalism Based on Cognitive Dimensions (2002)

Cached

Download Links

by Emma Triffitt , Babak Khazaei
Venue:Proceedings of the 14 th Annual Meeting of the Psychology of Programming Interest Group (PPIG
Citations:2 - 1 self

Documents Related by Co-Citation

150 Cognitive dimensions of notations – T. R. G. Green - 1989
35 Applications of Formal Methods – M G Hinchey, J P Bowen - 1996
5 The influence of formal representation on solution specification in Requirements Engineering 8(1 – B Khazaei, C Roast - 2003
13 The Untrained Eye: How Languages for Software Specification Support Understanding in Untrained Users – C Britton, S Jones - 1999
5 1994),"Why industry doesn't use the wonderful notations we researchers have given them to reason about their design", In User-centered requirements for software engineering – A F Monk, M B Curry, P C Wright
2 Formal Methods: No Cure for Faulty Reasoning – M J Loomes, R J Vinter - 1997
2 Does object coupling really affect the understanding and modifying of OCL expressions – L Reynoso, M Genero, M Piattini, E Manso - 2006
1 Yan-Bondoc H.D., " An Experimental Investigation of Formality in UML-Based Development – L C Briand, Y Labiche, M Dipenta - 2005
1 Calculating a nonparametric estimate and confidence interval using – D Chris
89 Ten Commandments of Formal Methods – Jonathan P. Bowen, Michael G. Hinchey - 1994
76 Generating Tests from UML Specifications – Jeff Offutt, Aynur Abdurazik - 1999
1 The Best of Both Worlds Integrating UML with Z for Software Specifications – S Martin
2 An Empirical Investigation of the Comprehensibility of Requirements Specifications – D Carew, C Exton, J Buckley - 2005
2 Atelier B, User and Reference Manuals. [Online]. Available: http://www.atelierb.societe.com/index uk.html – Aix-en-Provence Steria, France - 2007
1 2003) 1 EU Framework VI project: Rigorous Open Development Environment for Complex Systems (RODIN) http://rodin.cs.ncl.ac.uk – UML Bible Wiley
1 Principles of Survey Research: Part 1-6 – B Kitchenham, S L Pfleeger - 2002
7 Confessions of a Formal Methodist – M G Hinchey - 2002
1 A Framework for Building Process-Centred Software Engineering Environments – Rozilawati Razali - 1994
1 EU Framework VI project: Rigorous Open Development Environment for Complex Systems – UML Bible Wiley - 2003