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.	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
Answer» D. All of the above

Discussion

No Comment Found

Related MCQs

Which of the following is a deliverable of the system implementation phase in a formal system development process?
The information system used in the daily running of the business is
Deciding where to locate new production facilities is a(n) example of a manufacturing and production information system operating at the:
Preparing short-term budgets is an example of finance and accounting information system operating at the:
If a university sets up a web-based information system that faculty could access to record student grades and to advise students, that would be an example of a/an
Identifying customers and markets using data on demographics, markets, consumer behavior, and trends is an example of a(n):
An application where only one user accesses the database at a given time is an example of a(n)___
When a bank offers web self-service for customers to answer their questions, the primary outcome is:
The formal methods model of software development makes use of mathematical methods to
Projections and responses to queries are information output characteristics associated with a(n):