Communications of the ACM
Abstract data types and the development of data structures
Communications of the ACM
Abstract data types and software validation
Communications of the ACM
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
A Discipline of Programming
Towards an engineering approach to software design
ICSE '76 Proceedings of the 2nd international conference on Software engineering
The specification and application to programming of abstract data types.
The specification and application to programming of abstract data types.
Report on the programming language Euclid
ACM SIGPLAN Notices
An Introduction to the Construction and Verification of Alphard Programs
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
Algebraic relations (axioms) have been used to describe the functional behavior of the objects represented by a data abstraction. In this paper an extension to algebraic specifications is described that allows one to associate a state with each object of a data abstraction and to specify how the operations of an abstraction effect an object's current state. Such an extension is necessary if dynamic performance issues are to be investigated during the design process. The extension allows one to define the potential states of an abstract object in terms of a countable set and to then define a transition mapping for each operation. This extension along with a technique for recording the specification of a data abstraction in a relational form are described in detail.