پديد آورنده :
داورپناه جزي، محمد و هدايتي مباركه ،پيمان
عنوان مقاله :
روش هاي فرمال در ساخت نرم افزار و روندي براي تبديل متن فرمال به نمايش گرافيكي
عنوان نشريه :
يازدهمين كنفرانس مهندسي برق ايران
توصيفگرها :
كليدواژه ها: روش هاي فرمال ، نمايش گرافيكي ، مشخصه خواسته ها، تبديل خودكار،ESAC loot
چکيده :
به فارسي ،درقسمت "الحاقات "قابل رويت است
