781Software EngineeringMedium
Select the disadvantage of using Formal methods ________?
A
MCQs
Read every question, see the correct answer, and understand the explanation at your own pace. Study mode has no timer and no negative marking.
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.
Correct answer
C. Process specialization
Explanation
Explanation: In process specialization, the system is adapted to cope with specific business processes
Correct answer
C. System to indicate not returning of the library book
Explanation
Explanation: A Protection system is a specialized system that is associated with some other control system, which can take emergency action if a failure occurs.
Correct answer
D. wc – l
Explanation
The correct answer is wc – l.
Correct answer
B. design model
Explanation
Explanation: The requirements specification may establish certain constraints that help to define the user of the system, but the interface design is often only incidental to the design model.
Correct answer
B. Software Validation
Explanation
Explanation: Software validation is an activity for software process and not the fundamental for engineering.
Correct answer
B. True
Explanation
Explanation: Quality makes no sense without reference to requirements, which means quality-oriented development is requirements-driven development, thus requirements management is a prerequisite for quality-oriented development.
Correct answer
B. just in time
Explanation
The correct answer is just in time.
Correct answer
D. Hardware checks
Explanation
Explanation: Hardware is a part of environment detection check.
Correct answer
A. Database support
Explanation
The correct answer is Database support.