مرکز منطقه ای اطلاع رساني علوم و فناوري - Rigorous specification using structured systems analysis and Z

Title of article :

Rigorous specification using structured systems analysis and Z

Author/Authors :

KC Mander، نويسنده , , FAC Polack، نويسنده ,

Issue Information :

ماهنامه با شماره پیاپی سال 1995

Pages :

From page :

285

To page :

291

Keywords :

systems analysis. formal methods , methods integration , SSADM , Z

Journal title :

Information and Software Technology

Serial Year :

1995

Journal title :

Information and Software Technology

Record number :

134322

Link To Document :