The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - November/December (2001 vol.18)
pp: 89-97
ABSTRACT
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, November/December 2001, doi:10.1109/52.965810
7 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool