G

Gopal Sharma • 35.92K Points
Coach 

Q. The formal methods model of software development makes use of mathematical methods to

(A) Develop defect free computer-based systems
(B) Define the specification for computer-based systems
(C) Verify the correctness of computer-based systems
(D) All of the above

Correct Answer - Option(C)

Share

Discusssion

Login to discuss.

Be the first to start discuss.

Related Posts

Q. Which of the following is included in the Office automation systems? i) Word processing ii) Electronic mail iii) Voice mail iv) Electronic calendaring v) Audio conferencing

Q. Operations Documentation Include

Q. Google are using information technology to pursue this generic strategy

Q. In an E-R diagram a relationship is represented by________?

Q. Inventory is also referred to as:

Q. PARAM is an example of:

Q. In the preliminary investigation phase of the SDLC, which of the following tasks would not be included?

Q. Which one of the following is not an approach for development of MIS?

Q. The following is true of three-tier data warehouses:

Q. Which of the following processes has the Risk Register as the primary output?

View All Posts