شماره ركورد كنفرانس
2882
عنوان مقاله
توليد خودكار داده آزمون از ضابطه هاي رسمي جبري
پديدآورندگان
كريميان فاطمه نويسنده , بابامير مرتضي نويسنده , نيكخواه وجيهه نويسنده
تعداد صفحه
7
كليدواژه
توليد داده آزمون , توضيحات جبري , نوع داده انتزاعي , آناليز كننده Alloy
عنوان كنفرانس
همايش ملي فن آوري محاسبات و اطلاعات : روندها و سرحدهاي جديد
زبان مدرك
فارسی
شماره مدرك كنفرانس
2566746
سال انتشار
1392
از صفحه
1
تا صفحه
7
سال انتشار
0
لينک به اين مدرک