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?
|
Definitions
|
|
Formal
|
|
Axioms
|
|
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.