Home /Formal Methods in Software Engineering

Software Engineering/Software Re-engineering/Formal Methods in Software Engineering BS 4 Semester/Term 2024

Software Engineering/Software Re-engineering/Formal Methods in Software Engineering BS 4 Semester/Term 2024 — page 1

Discussion

Ask a question about this paper, or help someone else with theirs. Answers are emailed to whoever asked.

Your email is only used to send you replies and occasional Ustadni updates. It is never shown publicly.

Log in to post under your name

No questions yet — be the first to ask.

More Formal Methods in Software Engineering papers

See all

Paper text

University of Sargodha

Subitet: CS/T

BS 4" Term Examization 2024

Paper: Software Enginceries (CMPC-204/CMPC-206)

Time Allowed: 02:30 Hoars

Maximum Marks: 60

Note: Objective part is compulsory. Attempt any three guestions from sabjective part.

Q.1.

Objective Part

(Compulsory)

Write short answers of the following in 2-3 lines of esch on your answer sheet.

What is web app component?

What is the difference between navigation syntax and navigation semantics?

What are three golden rules proposed by Theo Mandel for interface design?

Why is "chunking" important during the com

onent-level design review process?

Name the 3 core steps of six sigma metbodology.

That criteria should be used to design integraticn teste

What is difference between watertal model and V-model?

,

viii.

What options do we have when defining the structure of a sottware team

How do we size the software that we're planning to build? List their names only.

Define requirements engineering

xii.

How are unit tests used in X?

What is the role of DFDs in software architectural design?

Q.2.

0.4.

Subjective Parto (3*12)

What is the role of SQA in a good software? What are SQA tasks, goals and metrick?

Define and explain COCOMO II mode

0.60

web application.

Draw a use case diagram for an ATM machine. A wer uses ATM to check his account balance, can

withdraw cash, deposit and transfer cash. ATM Technician provides maintenance and repairs to

the ATM.