Integrating abstract data types with object-oriented programming by specification-based approach

The authors show that the integration of two popular automation-based paradigms, namely, ADT and OOP, can be used to achieve a high level of productivity and reliability. They introduce a system, Stim, (Small talk implementation for algebraic specification of abstract data types), that directly implements the algebraic specification of ADT on Smalltalk-80. Stim takes as an input a hierarchical algebraic specification and generates Smalltalk-80 classes automatically. The authors use an example of specifying a full-scale filing system to illustrate the power of the system.<>