EMERGING TRENDS IN SOFTWARE ENGINEERING
MISCELLANEOUS
|
Question
[CLICK ON ANY CHOICE TO KNOW THE RIGHT ANSWER]
|
|
|
Define the specification for computer-based systems
|
|
|
Develop defect free computer-based systems
|
|
|
Verify the correctness of computer-based systems
|
|
|
All of the above
|
Detailed explanation-1: -Formal methods of software development are mathematical approaches or techniques that are used to confirm the correctness of the software being developed.
Detailed explanation-2: -A mathematical model is an abstract description of a concrete system using mathematical concepts and language. The process of developing a mathematical model is termed mathematical modeling.
Detailed explanation-3: -Formal methods are intended to systematize and introduce rigor into all the phases of software development. This helps us to avoid overlooking critical issues, provides a standard means to record various assumptions and decisions, and forms a basis for consistency among many related activities.
Detailed explanation-4: -At a general level, formal methods are used in two aspects of software development: To enforce the desired behaviour in the specification of the system. A specification is a model of the system that describes its behaviour and formal methods are used for model validation.