|
| This Article | ||
| | ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
December 1987 (vol. 13 no. 12)
pp. 1218-1237
| ASCII Text | x | ||
| S. Aggarwal, D. Barbara, K.Z. Meth, "Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols," IEEE Transactions on Software Engineering, vol. 13, no. 12, pp. 1218-1237, December, 1987. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.1987.232877, author = {S. Aggarwal and D. Barbara and K.Z. Meth}, title = {Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols}, journal ={IEEE Transactions on Software Engineering}, volume = {13}, number = {12}, issn = {0098-5589}, year = {1987}, pages = {1218-1237}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1987.232877}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols IS - 12 SN - 0098-5589 SP1218 EP1237 EPD - 1218-1237 A1 - S. Aggarwal, A1 - D. Barbara, A1 - K.Z. Meth, PY - 1987 KW - specification languages KW - Analysis and verification KW - communication protocols KW - formal description techniques KW - formal specifeation KW - software environment KW - software tools VL - 13 JA - IEEE Transactions on Software Engineering ER - | |||
SPANNER is a software package for the specification, analysis, and evaluation of protocols. It is based on a mathematical model of coordinating processes called the selection/resolution model.
Index Terms:
specification languages, Analysis and verification, communication protocols, formal description techniques, formal specifeation, software environment, software tools
Citation:
S. Aggarwal, D. Barbara, K.Z. Meth, "Spanner: A Tool for the Specification, Analysis, and Evaluation of Protocols," IEEE Transactions on Software Engineering, vol. 13, no. 12, pp. 1218-1237, Dec. 1987, doi:10.1109/TSE.1987.232877
Usage of this product signifies your acceptance of the Terms of Use.