Title :
Comments on "Formal methods application: an empirical tale of software development"
Author :
Berry, Daniel M. ; Tichy, Walter F.
Author_Institution :
Sch. of Comput. Sci., Waterloo Univ., Ont., Canada
fDate :
6/1/2003 12:00:00 AM
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.
Keywords :
software engineering; experimental design; formal methods; software development; software engineering; software research; Application software; Books; Data structures; Design for experiments; Problem-solving; Programming profession; Psychology; Software engineering; Software tools; Veins;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.2003.1205183
