صفحه محصول - پاورپوینت مروری بر روشهای رسمی تولید برنامه در مقایسه با روش های متداول

پاورپوینت مروری بر روشهای رسمی تولید برنامه در مقایسه با روش های متداول (pptx) 16 اسلاید

دسته بندی : پاورپوینت

نوع فایل : PowerPoint (.pptx) ( قابل ویرایش و آماده پرینت )

تعداد اسلاید: 16 اسلاید

قسمتی از متن PowerPoint (.pptx) :

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