|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
| ASCII Text | x | ||
| Daniel M. Berry, Walter F. Tichy, "Comments on "Formal Methods Application: An Empirical Tale of Software Development"," IEEE Transactions on Software Engineering, vol. 29, no. 6, pp. 567-571, June, 2003. | |||
| BibTex | x | ||
| @article{ 10.1109/TSE.2003.1205183, author = {Daniel M. Berry and Walter F. Tichy}, title = {Comments on "Formal Methods Application: An Empirical Tale of Software Development"}, journal ={IEEE Transactions on Software Engineering}, volume = {29}, number = {6}, issn = {0098-5589}, year = {2003}, pages = {567-571}, doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2003.1205183}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - JOUR JO - IEEE Transactions on Software Engineering TI - Comments on "Formal Methods Application: An Empirical Tale of Software Development" IS - 6 SN - 0098-5589 SP567 EP571 EPD - 567-571 A1 - Daniel M. Berry, A1 - Walter F. Tichy, PY - 2003 VL - 29 JA - IEEE Transactions on Software Engineering ER - | |||
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.
[1] D.M. Berry, Formal Methods, the Very Idea, Some Thoughts on Why They Work When They Work Science of Computer Programming, vol. 42, no. 1, pp. 11-27, Jan. 2002.
[2] L.B. Christensen, Experimental Methodology, eighth ed. Allyn and Bacon, 2001.
[3] S.L. Pfleeger and L. Hatton, "Investigating the Influence of Formal Methods," Computer, Feb. 1997, pp. 33-43.
[4] A.E.K. Sobel, Empirical Results of a Software Engineering Curriculum Incorporating Formal Methods ACM Inroads, vol. 32, no. 1, pp. 157-161, Mar. 2000.
[5] 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.