Multiple Choice
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
Correct Answer:
Verified
Q6: The linear sequential model of software development
Q7: A risk response which involves eliminating a
Q8: The prototyping model of software development is<br>A)A
Q9: The rapid application development model is<br>A)Another name
Q10: Evolutionary software process models<br>A)Are iterative in nature<br>B)Can
Q12: Projections and responses to queries are information
Q13: The DBA is<br>A)a person<br>B)a computer device<br>C)a communication
Q14: The analysis and design of application systems
Q15: The concurrent development model is<br>A)Another name for
Q16: General ledger is also referred to as:<br>A)extra