Carew, Deirdre; Exton, Chris; Buckley, Jim
(Psychology of Programming Interest Group, 2005)
This paper presents a pilot study to test plans for an empirical study,
which will compare the comprehensibility of two specifications: a formal specification
and an informal specification. The two documents used in the ...