پاورپوینت مروری بر روشهای رسمی تولید برنامه در مقایسه با روش های متداول

دسته بندي : علوم پایه » دانلود پاورپوینت های علمی
لینک دانلود و خرید پایین توضیحات
دسته بندی : پاورپوینت
نوع فایل :  powerpoint (..ppt) ( قابل ويرايش و آماده پرينت )
تعداد اسلاید : 16 اسلاید

 قسمتی از متن powerpoint (..ppt) : 
 

بنام خدا
مروری بر روشهای رسمی تولید برنامه در مقایسه با روش های متداول
فهرست
مقدمه
معرفی روش های رسمی
چگونگی بهبود تولید نرم افزار
اسطوره هایی درباره روش های رسمی
علل عدم اقبال
نتیجه گیری
فهرست منابع
مقدمه
نرخ بالای خطا در سامانه ها
هزینه بالای آزمایش
مشاهده درستی در مقابل اثبات
هزینه غیر قابل جبران خطا درسامانه های بحرانی
فضاپیمای Ariane5 ، اتلاف 10 سال و 7 میلیارد دلار
Therac-25 ، مرگ 6 انسان
نیاز به اطمینان
معرفی روش های رسمی
بر پایه مدل تحلیل ریاضی
استفاده از ریاضیات برای توصیف برنامه ها
بیان نیازمندی ها به جای راه حل
زبان های متداول
Z
CSP
B
VSM
Larch

 
دسته بندی: علوم پایه » دانلود پاورپوینت های علمی

تعداد مشاهده: 4356 مشاهده

فرمت فایل دانلودی:.zip

فرمت فایل اصلی: .ppt

تعداد صفحات: 16

حجم فایل:702 کیلوبایت

 قیمت: 7,000 تومان
پس از پرداخت، لینک دانلود فایل برای شما نشان داده می شود.   پرداخت و دریافت فایل