Title of article :
Cardinalities in depth: a formal approach to partial validation of conceptual schema
Author/Authors :
G Grosz، نويسنده , , SR Schwer، نويسنده ,
Issue Information :
ماهنامه با شماره پیاپی سال 1995
Keywords :
valrdation. conceptual specification , Cardinality , cardinalrtv formalization , Deduction
Journal title :
Information and Software Technology
Journal title :
Information and Software Technology
