The formal methods model of software development makes use of mathemat – McqOptions

MCQOPTIONS

1.	The formal methods model of software development makes use of mathematical methods to
A.	Define the specification for computer-based systems
B.	Develop defect free computer-based systems
C.	Verify the correctness of computer-based systems
D.	All of the above
Answer» E.

Discussion

No Comment Found

Related MCQs

Which of the following is not correct model in Software Development Paradigm?
Which of the following are valid step in SDLC framework?
Waterfall model phase in which modification of a software product is done after delivery to correct faults, to improve performance or other attributes is
In waterfall model, phases
Waterfall model is
Model which maps components into physical computing environment is
Model describes test that are used to ensure that use case are properly reflected in software that has been constructed is
Waterfall model phase which acknowledged that software is delivered to customer who evaluates delivered product and provides feedback based on evaluation is
Spiral model originally proposed by
Components which provides targeted functionality with well-defined interfaces that enable component to be integrated into software are termed as