• Title of article

    Response to "Comments on Formal Methods Application: An Empirical Tale of Software Development"

  • Author/Authors

    Sobel، Ann E. Kelley نويسنده , , Clarkson، Michael R. نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2003
  • Pages
    -571
  • From page
    572
  • To page
    0
  • Abstract
    We respond to criticism by D. Berry and W. Tichy of our paper that appeared in the March 2002 issue of IEEE Transactions on Software Engineering. Many of the supposed faults they identify in our experiment are a result of a misunderstanding on their part, while others are inherent aspects of an educational experiment. We present counterarguments that explain why our experiment is valid.
  • Keywords
    heat transfer , natural convection , Analytical and numerical techniques
  • Journal title
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
  • Serial Year
    2003
  • Journal title
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
  • Record number

    98621