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

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

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

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