Title of article :
Constraint-oriented style for object-oriented formal specification
Author/Authors :
Bolognesi، نويسنده , , T.; Derrick، نويسنده , , J.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1998
Pages :
9
From page :
61
To page :
69
Keywords :
Constraint-oriented style , Formal specijkation , Object-Oriented , Object-2
Journal title :
IEE Proceedings Software
Serial Year :
1998
Journal title :
IEE Proceedings Software
Record number :
351812
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=351812
