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

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]  Ann E. Kelley Sobel.  Empirical results of a software engineering curriculum incorporating formal methods , 2000, SIGCSE '00.

[2]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[3]  Ib Sørensen.  MATHEMATICS FOR SPECIFICATION AND DESIGN: THE PROBLEM WITH LIFTS . . . , 1987 .

[4]  James J. Filliben,et al.  Handbook 151: NIST/SEMATECH e-Handbook of Statistical Methods , 2002 .

[5]  Ann E. Kelley Sobel.  Emphasizing formal analysis in a software engineering curriculum , 2001, IEEE Trans. Educ..

[6]  David Lorge Parnas,et al.  An Invitation to Formal Methods , 1996, Computer.

[7]  Shari Lawrence Pfleeger,et al.  Investigating the Influence of Formal Methods , 1997, Computer.

[8]  Edward Cohen,et al.  Programming in the 1990s: An Introduction to the Calculation of Programs , 1990 .

[9]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[10]  Edsger W. Dijkstra,et al.  Predicate Calculus and Program Semantics , 1989, Texts and Monographs in Computer Science.

[11]  Walter F. Tichy,et al.  Comments on "Formal Methods Application: An Empirical Tale of Software Development" , 2003, IEEE Trans. Software Eng..

[12]  Michael R. Clarkson,et al.  Formal Methods Application: An Empirical Tale of Software Development , 2002, IEEE Trans. Software Eng..

[13]  Owen Astrachan,et al.  On the Cruelty of Really Teaching Computer Science redux , 2005 .

[14]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[15]  David Gries,et al.  Teaching calculation and discrimination: a more effective curriculum , 1991, CACM.

[16]  Dan Craigen,et al.  An International Survey of Industrial Applications of Formal Methods , 1992, Z User Workshop.