781Software EngineeringMedium
Select the disadvantage of using Formal methods ________?
AAll of the mentioned
BThey require the use of specialised notations that cannot be understood by domain experts
CProducing a mathematical specification requires a detailed analysis of the requirements
DConcurrent systems can be analysed to discover race conditions that might lead to deadlock
Correct answer
B. They require the use of specialised notations that cannot be understood by domain experts
Explanation
The correct answer is They require the use of specialised notations that cannot be understood by domain experts.