This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Specification Method for Specifying Data and Procedural Abstractions
September 1982 (vol. 8 no. 5)
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.
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, Sept. 1982, doi:10.1109/TSE.1982.235735
Usage of this product signifies your acceptance of the Terms of Use.