|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Applying Formal Specifications to Real-World Software Development
November/December 2001 (vol. 18 no. 6)
pp. 89-97
| ASCII Text | x | ||
| Girish Keshav Palshikar, "Applying Formal Specifications to Real-World Software Development," IEEE Software, vol. 18, no. 6, pp. 89-97, November/December, 2001. | |||
| BibTex | x | ||
| @article{ 10.1109/52.965810, author = {Girish Keshav Palshikar}, title = {Applying Formal Specifications to Real-World Software Development}, journal ={IEEE Software}, volume = {18}, number = {6}, issn = {0740-7459}, year = {2001}, pages = {89-97}, doi = {http://doi.ieeecomputersociety.org/10.1109/52.965810}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - MGZN JO - IEEE Software TI - Applying Formal Specifications to Real-World Software Development IS - 6 SN - 0740-7459 SP89 EP97 EPD - 89-97 A1 - Girish Keshav Palshikar, PY - 2001 VL - 18 JA - IEEE Software ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.965810
While formal methods are gaining acceptance in the software industry, there is a need for practical guidelines for making the best use of formal specifications. The author provides a few such pragmatic tips for people involved in the industrial use of formal specifications. The 15 guidelines are split into two areas, dealing with process and content. The author also includes a full-page reference for literature available over the Web.
Citation:
Girish Keshav Palshikar, "Applying Formal Specifications to Real-World Software Development," IEEE Software, vol. 18, no. 6, pp. 89-97, Nov.-Dec. 2001, doi:10.1109/52.965810
Usage of this product signifies your acceptance of the Terms of Use.