Comments on "Formal methods application: An empirical tale of software development"

被引：13

作者：

Berry, DM

Tichy, WF

机构：

[1] Univ Waterloo, Sch Comp Sci, Waterloo, ON N2L 3G1, Canada

[2] Univ Karlsruhe, Dept Informat, D-76128 Karlsruhe, Germany

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 2003年 / 29卷 / 06期

关键词：

Computer hardware description languages - Computer simulation - Curricula - Data structures - Elevators - Object oriented programming - Semantics - Students;

D O I：

10.1109/TSE.2003.1205183

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页码：567 / 571

页数：5

共 5 条

[1] Formal methods: the very idea - Some thoughts about why they work when they work [J].