• DocumentCode
    1549920
  • Title

    Applying formal specifications to real-world software development

  • Author

    Palshikar, Girish Keshav

  • Author_Institution
    Indian Inst. of Technol., Madras, India
  • Volume
    18
  • Issue
    6
  • fYear
    2001
  • Firstpage
    89
  • Lastpage
    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
  • Keywords
    formal specification; formal methods; formal specification; real world software development; software industry; Aerospace industry; Application software; Computer industry; Formal specifications; Internet; Programming; Rail transportation; Real time systems; User interfaces; World Wide Web;
  • fLanguage
    English
  • Journal_Title
    Software, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7459
  • Type

    jour

  • DOI
    10.1109/52.965810
  • Filename
    965810
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1549920