• DocumentCode
    1490760
  • Title

    An insider´s evaluation of PAISLey

  • Author

    Zave, Pamela

  • Author_Institution
    AT&T Bell Lab., Murray Hill, NJ, USA
  • Volume
    17
  • Issue
    3
  • fYear
    1991
  • fDate
    3/1/1991 12:00:00 AM
  • Firstpage
    212
  • Lastpage
    225
  • Abstract
    An executable specification language called PAISLey is evaluated. The language is accompanied by specification methods, analysis techniques, and software tools. The actual results of the PAISLey project are summarized. Research methods, how the results were obtained, and how the project might have been improved are discussed
  • Keywords
    formal specification; software tools; specification languages; PAISLey; analysis techniques; executable specification; software tools; specification methods; Chaos; Heart; Investments; Software systems; Software tools; Specification languages; Testing; Writing;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/32.75412
  • Filename
    75412
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1490760