مرکز منطقه ای اطلاع رساني علوم و فناوري - Experimental comparison of the comprehensibility of a Z specification and its implementation in Java

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 :

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 :