Encapsulation Encapsulation is the concept of packaging of data and operations into a single, well-defined module . Since we define algebras and ADT specifications over fixed signatures, we exploit the benefits of encapsulation. This property increases the ease of design and documentation of a software component or program by considering all the interdependent declarations of types, constants and operators as one entity. Checking consistency becomes easier. Inheritance Definition of a new class in terms of an existing class .
Inheritance indicates that the interface of the superclass is implemented in the new subclass .
All objects of the subclass belong to the superclass as well as the subclass. The signature of an abstract data type. Method Functions or procedures are declared syntactically by the software interface of each class. The dynamic behaviour of the methods of a particular class are defined by its implementation in the class. If there is no implementation for a declared method, the method is said to be deferred in its class, and thus the class is an abstract base class .