This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'"
June 2003 (vol. 29 no. 6)
pp. 572-575

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.

[1] D.M. Berry and W.F. Tichy, Comments on `Formal Methods Application: An Empirical Tale of Software Development,' IEEE Trans. Software Eng., vol. 29, no. 6, pp. ???-???, 2003.
[2] D.T. Campbell and J.C. Stanley, Experimental and Quasi-Experimental Designs for Research. Rand McNally, 1963.
[3] L.B. Christensen, Experimental Methodology, eighth ed. Allyn and Bacon, 2002.
[4] T.D. Cook, D.T. Campbell, and L. Peracchio, Quasi Experimentation Handbook of Industrial and Organizational Psychology, M.D. Dunnette and L. M. Hough, eds., vol. 1, pp. 491-576, 1998.
[5] D. Craigen, S. Gerhart, and T. Ralson, An International Survey of Industrial Applications of Formal Methods Technical Report GCR 93/626, NIST, 1993.
[6] E.W. Dijkstra, On the Cruelty of Really Teaching Computer Science Comm. ACM vol. 32, no. 12, pp. 1398-1404 Dec 1989.
[7] D. Gries, Teaching Calculation and Discrimination: A More Effective Curriculum Comm. ACM, vol. 34, no. 3, pp. 44-55, Mar. 1991.
[8] NIST, NIST/SEMATECH e-Handbook of Statistical Methods, Jan. 2003, http://www.itl.nist.gov/div898handbook.
[9] S.L. Pfleeger and L. Hatton, "Investigating the Influence of Formal Methods," Computer, Feb. 1997, pp. 33-43.
[10] H. Saiedian, An Invitation to Formal Methods Computer vol. 29, no. 4, pp. 16-30, Apr. 1996.
[11] A.E.K. Sobel, Empirical Results of a Software Engineering Curriculum Incorporating Formal Methods ACM SIGCSE Inroads, vol. 32, no. 1, pp. 157-161, Mar. 2000.
[12] A. Sobel and M. Clarkson, "Formal Methods Application: An Empirical Tale of Software Development," IEEE Trans. Software Eng., vol. 28, no. 3, Mar. 2002, pp. 308-320.

Citation:
Ann E. Kelley Sobel, Michael R. Clarkson, "Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'"," IEEE Transactions on Software Engineering, vol. 29, no. 6, pp. 572-575, June 2003, doi:10.1109/TSE.2003.1205184
Usage of this product signifies your acceptance of the Terms of Use.