CIIT Wah

Assignment # 4
Subject : Formal Methods in Software Engineering
Date of Submission : 24th April, 2017

Following rules will apply during the evaluation of assignment.

All students have to upload the assignment solution on course portal

(CUonline) OR email at comsian032@gmail on submission date and as
well as have to submit printed document in the immediate class on the
date of submission.
Any student found cheating in any of the two assignments submitted
will be awarded "0" grade in this assignment.
For assignments that are not submitted at all, the student will
receive a grade of 0%.
Late submissions are not considered, in this case student will
receive a grade of 0%.
There is no need to design title page, all students have to write
their Name and Registration number in header.
Your assignment must be handwritten.
4 page (A4 size) limit for content covering.
A list of references in a professional and consistent format.
Cite all sources of information clearly and accurately

Late submissions: If the student contacts the course instructor by

email before the assignment is due and has an acceptable excuse, that
assignment might be accepted late, with points deducted. This will only
be allowed once.

Requirements:

Write a comprehensive review report of the research article The Role

of Formal Methods in Software Engineering Education and
Industry

Ref: Research Paper The Role of Formal Methods in Software Engineering Education
and Industry uploaded on student portal.