Comments on "Formal methods application: an empirical tale of software development"
- 20 June 2003
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 29 (6) , 567-571
- https://doi.org/10.1109/tse.2003.1205183
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
This publication has 4 references indexed in Scilit:
- Formal methods application: an empirical tale of software developmentIEEE Transactions on Software Engineering, 2002
- Formal methods: the very ideaScience of Computer Programming, 2002
- Empirical results of a software engineering curriculum incorporating formal methodsPublished by Association for Computing Machinery (ACM) ,2000
- Investigating the influence of formal methodsComputer, 1997