MCQ IN COMPUTER SCIENCE & ENGINEERING

COMPUTER SCIENCE AND ENGINEERING

DATA STRUCTURES

Question [CLICK ON ANY CHOICE TO KNOW THE RIGHT ANSWER]
Which of the following are not a criteria for ADT specification?
A
Definitions
B
Formal
C
Axioms
D
Extensible
Explanation: 

Detailed explanation-1: -The specification of an ADT is everything the client is permitted to know about it. It is what’s in the contract.

Detailed explanation-2: -Hash Table-It is not an ADT but programmers can implement it as an ADT.

Detailed explanation-3: -Specifications are means to formally define the behavior of a software system or a module, and form the basis for testing an implementation. Axiomatic specification technique is one of the methods to formally specify an abstract data type (ADT).

Detailed explanation-4: -Answer. Answer: Java provide all the ADTs you need, therefore you do not need to create any newones. This statement is not true.

There is 1 question to complete.