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