Online Help in Study for All Universities Students of Pakistan
Mid-Terms Syllabus for Spring 2017 Mid Term Papers 03 June 2017 to 15 June 2017
This is to inform you that midterm syllabus (Lessons 1-22) will be included in the midterm examination spring 2017. The paper will comprise of both objective type questions
CS709 - Formal Methods for Software Engineering
Mid exam will be conducted from Lecture 1 to 22. Expect all types of questions.
Total 4 questions 30 marks
3 quetions write pre condtion post condtions. Scenarios were given one was for stack class, 2nd a loop structur n 3 rd one i forgot.
4 th questn was a expression was given to simplyfy. Do prepare pre n post conditions lectrs n how to write then your exam will be excellent.