Title of article :
The formal specification of ORN semantics
Author/Authors :
B. K. Ehlmann، نويسنده , , N. Rishe، نويسنده , , J. Shi، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 2000
Keywords :
Object relationship notation , Data modeling , formal methods
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology
