CS709 Formal Methods for Software Engineering Mid Term Paper Spring 2017 of Virtual University (VU)

CS709 Formal Methods for Software Engineering Mid Term Paper Spring 2017 of Virtual University (VU) 

Views: 166

Replies to This Discussion

Mid-Terms Syllabus for Spring 2017 Mid Term Papers 03 June 2017 to 15 June 2017

Dear Students,
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.

OCL 
WP
DbC

RSS

Sponsored Links

Sponsored Links

© 2019   Created by Ali Khan (Admin).   Powered by

Badges  |  Report an Issue  |  Terms of Service