|
| 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
| ASCII Text | x | ||
| 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. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1982.235735, author = {B.G. Claybrook}, title = {A Specification Method for Specifying Data and Procedural Abstractions}, journal ={IEEE Transactions on Software Engineering}, volume = {8}, number = {5}, issn = {0098-5589}, year = {1982}, pages = {449-459}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1982.235735}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - A Specification Method for Specifying Data and Procedural Abstractions IS - 5 SN - 0098-5589 SP449 EP459 EPD - 449-459 A1 - B.G. Claybrook, PY - 1982 KW - procedural abstraction KW - Data abstraction KW - formal specification KW - implementation correctness VL - 8 JA - IEEE Transactions on Software Engineering ER - | |||
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.