论文信息 - Reliable software through requirements definition using data abstractions

Reliable software through requirements definition using data abstractions

Abstract Algebraic specification of data abstractions is a rigorous tool for giving precision to requirements definition. A methodology is discussed for structuring the requirements definition of a system into a multi-leveled specification of data abstractions. The methodology is applied to an example data base system. It is argued that such precision in requirements definition will lead to more reliable software.

William R. Bezanson

[1] Barbara Liskov,et al. A Language Extension for Controlling Access to Shared Data , 1976, IEEE Transactions on Software Engineering.

[2] Stephen N. Zilles,et al. Specification techniques for data abstractions , 1975 .

[3] Ellis Horowitz,et al. Abstract data types and software validation , 1978, CACM.

[4] Douglas T. Ross,et al. Structured Analysis for Requirements Definition , 1977, IEEE Transactions on Software Engineering.

[5] J. J. Horning,et al. Report on the programming language Euclid , 1977, SIGP.

[6] Craig Schaffert,et al. Abstraction mechanisms in CLU , 1977, Commun. ACM.

[7] Mary Shaw,et al. An introduction to the construction and verification of Alphard programs , 1976, ICSE '76.

[8] John V. Guttag,et al. The specification and application to programming of abstract data types. , 1975 .