Issue No.05 - September (1982 vol.8)
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. 5, pp. 449-459, September 1982, doi:10.1109/TSE.1982.235735