Specifying abstract data types a behavioral model, an axiomatic representation

After the emergence of software engineering as an engineering discipline for several decade it had dogging of the enduring problem such as specifying requirements of a software product in a complete, consistent, and minimal manner. Not only is the problem technically challenging, in light of the size and complexity of today´s software products, but it also involves very high costs, due to the fact that an error in the requirements phase can have a negative impact on all subsequent phases. In this paper, we present a specification model for abstract data types, and discuss its properties as well as plans for its automation.