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:
Verified
Q14: Evolutionary software process models
A)Are iterative in nature
B)Can
Q15: The prototyping model of software development is
A)A
Q16: The spiral model of software development
A)Ends with
Q17: The concurrent development model is
A)Another name for
Q18: The component-based development model is
A)Only appropriate for
Q20: The analysis and design of application systems
Q21: The DBA is
A)a person
B)a computer device
C)a communication
Q22: Computer support to the manager has been
Q23: A _ is a brief message to
Q24: Which of the following is not true
Unlock this Answer For Free Now!
View this answer and more for free by performing one of the following actions
Scan the QR code to install the App and get 2 free unlocks
Unlock quizzes for free by uploading documents