The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September (1982 vol.8)
pp: 449-459
B.G. Claybrook , MITRE Corporation
ABSTRACT
A specifilcation method designed primarily for specifying data abstractions, but suitable for specifying procedural abstractions as well, is described. The specification method is based on the abstract model approach to specifying abstractions. Several data abstractions and procedural abstractions are specified and a proof of implementation correctness is given for one of the data abstractions-a symbol table.
INDEX TERMS
procedural abstraction, Data abstraction, formal specification, implementation correctness
CITATION
B.G. Claybrook, "A Specification Method for Specifying Data and Procedural Abstractions", IEEE Transactions on Software Engineering, vol.8, no. 5, pp. 449-459, September 1982, doi:10.1109/TSE.1982.235735
27 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool