Applying formal specifications to real-world software development

摘要

While formal methods are gaining acceptance in the softwarenindustry, there is a need for practical guidelines for making the bestnuse of formal specifications. The author provides a few such pragmaticntips for people involved in the industrial use of formal specifications.nThe 15 guidelines are split into two areas, dealing with process andncontent. The author also includes a full-page reference for literaturenavailable over the Web