Specifying abstract data types a behavioral model, an axiomatic representation
Abdelrasoul Yahya Ibrahim · 2013
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.