The Community for Technology Leaders
Green Image
Issue No. 05 - September (1982 vol. 8)
ISSN: 0098-5589
pp: 449-459
B.G. Claybrook , MITRE Corporation
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.
procedural abstraction, Data abstraction, formal specification, implementation correctness
B.G. Claybrook, "A Specification Method for Specifying Data and Procedural Abstractions", IEEE Transactions on Software Engineering, vol. 8, no. , pp. 449-459, September 1982, doi:10.1109/TSE.1982.235735
83 ms
(Ver 3.3 (11022016))