• DocumentCode
    1219607
  • Title

    Comments on "Formal methods application: an empirical tale of software development"

  • Author

    Berry, Daniel M. ; Tichy, Walter F.

  • Author_Institution
    Sch. of Comput. Sci., Waterloo Univ., Ont., Canada
  • Volume
    29
  • Issue
    6
  • fYear
    2003
  • fDate
    6/1/2003 12:00:00 AM
  • Firstpage
    567
  • Lastpage
    571
  • Abstract
    We comment on the experimental design and the result of the paper mentioned in the title. Our purpose is to show interested readers examples of what can go wrong with experiments in software research and how to avoid the attending problems.
  • Keywords
    software engineering; experimental design; formal methods; software development; software engineering; software research; Application software; Books; Data structures; Design for experiments; Problem-solving; Programming profession; Psychology; Software engineering; Software tools; Veins;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/TSE.2003.1205183
  • Filename
    1205183