جزوه روش های رسمی در مهندسی نرم افزار و نمونه سوال

به تعداد 45 صفحه pdf

مناسب مرور سریع و جمع بندی ایام امتحانات

 

تعریف مهندسی نرم افزار

مشكلات كنوني نرم افزار

ويژگي هاي نرم افزار

فرآيند نرم افزار چيست؟

ضوابط ارزيابي نرم افزار

مراحل فرآيند مهندسي نرم افزار

فعاليت هاي پشتيباني فرآيند مهندسي نرم افزار

مدل آبشاري

مشكلات مدل آبشاری

مدل نمونه سازي

مدل حلزوني

Win Win مدل حلزوني

مدل روش هاي رسمي

ابزارهاي نسل چهارم

فرآيند مدل سازي يكنواخت

صحت سنجي سيستم  System Verification

مراحل اجرای Model Ckecking

Transition Systems

جزوه روش های رسمی در مهندسی نرم افزار