Select the disadvantage of using Formal methods ___________________?

A. Concurrent systems can be analysed to discover race conditions that might lead to deadlock
B. Producing a mathematical specification requires a detailed analysis of the requirements
C. They require the use of specialised notations that cannot be understood by domain experts
D. All of the mentioned
✅ The correct answer is option C.

Which technique is applied to ensure the continued evolution of legacy systems ?

A. Forward engineering
B. Reverse Engineering
C. Reengineering
D. Reverse Engineering and Reengineering
✅ The correct answer is option D.
Explanation: Processes used for software evolution depend rely on these two techniques.

Agile Software Development is based on_________________?

A. Incremental Development
B. Iterative Development
C. Linear Development
D. Both Incremental and Iterative Development
✅ The correct answer is option D.
Explanation: The software is developed in increments with the customer specifying the requirements to be included in each increment and the highest priority is to satisfy the customer through early and continuous delivery of valuable software. They are iterative because they work on one iteration followed by improvements in next iteration

A technique for performing quantitative analysis of progress is known as______________________?

A. BCWS
B. EVA
C. BAC
D. CBSE
✅ The correct answer is option B.
Explanation: The earned value system provides a common value scale for every task, regardless of the type of work being performed. The total hours to do the whole project are estimated, and every task is given an earned value based on its estimated percentage of the total.