Title of article :
MOOV++: modular object-oriented VDM
Author/Authors :
Q. Charatan، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2000
Pages :
6
From page :
275
To page :
280
Keywords :
Object-oriented development , formal methods , Vienna development method
Journal title :
Information and Software Technology
Serial Year :
2000
Journal title :
Information and Software Technology
Record number :
134698
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=134698
بازگشت