Response to "Comments on 'Formal methods application: an empirical tale of software development"' Export

@article{citeulike:1630560, 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.}, author = {Sobel, A. E. K. and Clarkson, M. R.}, booktitle = {Software Engineering, IEEE Transactions on}, citeulike-article-id = {1630560}, citeulike-linkout-0 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1205184}, journal = {Software Engineering, IEEE Transactions on}, keywords = {empirical, formal-method}, number = {6}, pages = {572--575}, posted-at = {2007-09-07 11:40:14}, priority = {2}, title = {Response to "Comments on 'Formal methods application: an empirical tale of software development"'}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1205184}, volume = {29}, year = {2003} }

TY - JOUR ID - citeulike:1630560 L3 - citeulike-article-id:1630560 N2 - 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. IS - 6 JF - Software Engineering, IEEE Transactions on EP - 575 TI - Response to "Comments on 'Formal methods application: an empirical tale of software development"' VL - 29 T2 - Software Engineering, IEEE Transactions on SP - 572 KW - empirical KW - formal-method AU - Sobel, AEK AU - Clarkson, MR PY - 2003/// UR - http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1205184 ER -