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