DocumentCode
1219610
Title
Response to "Comments on \´Formal methods application: an empirical tale of software development"\´
Author
Sobel, Ann E Kelley ; Clarkson, Michael R.
Volume
29
Issue
6
fYear
2003
fDate
6/1/2003 12:00:00 AM
Firstpage
572
Lastpage
575
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.
Keywords
formal specification; formal verification; formal methods application; software development; Application software; Design for experiments; Education; Fault diagnosis; Laboratories; Problem-solving; Programming profession; Software engineering; Software testing;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.2003.1205184
Filename
1205184
Link To Document