Title of article

Method redefinition—ensuring alternative behaviors

Author/Authors

I. Nunes، نويسنده ,

Issue Information

دوهفته نامه با شماره پیاپی سال 2004

Pages

7

From page

279

To page

285

Keywords

Specification languages , Design by contract , program specification , Method redefinition

Journal title

Information Processing Letters

Serial Year

2004

Journal title

Information Processing Letters

Record number

130001