مدلسازی منطق پردازش تراکنش با زبانهای تابعی به هدف آزمون مبتنی بر مدل
هادی صفری
مدلسازی منطق پردازش تراکنش با زبانهای تابعی به هدف آزمون مبتنی بر مدل
نویسنده
هادی صفرینسخه 1
فهرست
شناسنامه
سرشناسه
صفری، هادی،پایان نامه نویس، نویسندهعنوان و نام پدیدآور
مدلسازی منطق پردازش تراکنش با زبانهای تابعی به هدف آزمون مبتنی بر مدل / هادی صفریمشخصات ظاهری
چ،175ص.؛ جدول، نمودار، تصویر،پیوست.موضوع
آزمون مبتنی بر مدلبرنامهنویسی تابعی (کامپیوتر)
هسکل (زبان برنامهنویسی کامپیوتر)
توصیف رسمی
آزمون نرمافزار
Haskell (Computer program language)
Functional programming (Computer science)
زبان
فارسی