Formal Methods In Software Engineering BSSE 6th Term Past Paper 2017 UOS

University of Sargodha
BS 6th Term Examination 2017
Subject: Software Engineering
Paper: Formal Methods in Software Engineering (SE-4340)
Time Allowed: 2:30 Hours
Maximum Marks: 80

Objective Part (Compulsory)

Q.1 Write short answers of the following in 2–3 lines each. (2 × 16)

i. What are formal methods?
ii. What is State Transition Diagram?
iii. What is formal specification?
iv. Define Lambda expressions.
v. What is Z?
vi. Difference between vertical and horizontal schema format.
vii. How you can translate from informal requirements to formal specifications?
viii. Explain the term Quantifiers.
ix. What is Formal Verification?
x. Benefits of Formal Models.
xi. Explain Machine-Checked proof.
xii. How can be define the Intuition?
xiii. Explain predicates.
xiv. What is Eight Queens?
xv. Difference between Conjunctions and Disjunctions.
xvi. What is Formal Reasoning?

Subjective Part (4 × 12)

Q.2 Describe how formal methods are used for safety-critical systems? How we refine from abstract to concrete requirements in safety-critical systems.

Q.3 Define and explain with examples the forward and backward chaining in Z.

Q.4 Describe how Z is useful for computer graphics and computational geometry. Give explanation with example.

Q.5 What is rule-based programming? What are the elements of rule-based programming? Explain with code, how Z can be used for formalizing rule-based programming?

Q.6 Define and explain Safety-Critical Protection System.

Q.7 Write down the Z code for text processing system.

External Reference:
For detailed concepts and examples on formal methods and Z notation, visit https://formalmethods.wikia.org