Title of article
Rigorous specification using structured systems analysis and Z
Author/Authors
KC Mander، نويسنده , , FAC Polack، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 1995
Pages
7
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