COMPUTER SCIENCE AND ENGINEERING
SOFTWARE ENGINEERING
|
Question
[CLICK ON ANY CHOICE TO KNOW THE RIGHT ANSWER]
|
The formal methods model of software development makes use of mathematical methods to
|
|
Define the specification for computer-based systems
|
|
|
Develop defect free computer-based systems
|
|
|
Verify the correctness of computer-based systems
|
|
|
All of the above
|
Explanation:
Detailed explanation-1: -Formal methods are system design techniques that use rigorously specified mathematical models to build software and hardware systems. In contrast to other design systems, formal methods use mathematical proof as a complement to system testing in order to ensure correct behavior.
Detailed explanation-2: -Business managers have faith that formal methods can enhance the software quality, but formal methods are not widely used because these methods are considered costly and unfeasible [8] .
Detailed explanation-3: -d) both providing frameworks and verifying systems. Clarification: A method is formal if it has a sound mathematical basis, typically given by a formal specification language. 2.
There is 1 question to complete.