Title of article
Experimental comparison of the comprehensibility of a Z specification and its implementation in Java
Author/Authors
C. F. Snook، نويسنده , , R. Harrison، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 2004
Pages
17
From page
955
To page
971
Keywords
Comprehension , Formal specification , Empirical assessment
Journal title
Information and Software Technology
Serial Year
2004
Journal title
Information and Software Technology
Record number
135090
Link To Document