Title of article :
Visualising action contracts in object-oriented modelling
Author/Authors :
Kent، نويسنده , , S.; Gil، نويسنده , , J.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1998
Keywords :
Modelling , Visualisation , formal methods , Object technology , UML
Journal title :
IEE Proceedings Software
Journal title :
IEE Proceedings Software
