شماره ركورد كنفرانس :
1324
عنوان مقاله :
ارائه روشي براي توصيف و درستي يابي پايگاه داده ها با استفاده از Object-Z
پديدآورندگان :
سجادي زهرا نويسنده كارشناس‌ارشد گروه زمين‌شناسي، دانشكده علوم زمين، , حقيقي حسن نويسنده
كليدواژه :
پايگاه داده , مدلسازي داده اي , درستي يابي , Object-Z
عنوان كنفرانس :
هفتمين كنفرانس بين المللي فناوري اطلاعات و دانش
شماره مدرك كنفرانس :
4219426
