- Abstract:
-
In order to demonstrate the scalability of automated reasoning techniques, it is important to embark on large-scale case studies. As a field, we need to present a reward system for the completion of such case studies. However, there is a paradox at the heart of the case study. It is this paradox, and its resolution, that I intend to explore in this note.
- Copyright:
- 2004 by The University of Edinburgh. All Rights Reserved
- Links To Paper
- 1st Link
- Bibtex format
- @Misc{EDI-INF-RR-1312,
- author = {
Alan Bundy
},
- title = {The Paradox of the Case Study},
- publisher = {Association for Automated Reasoning},
- year = 2004,
- month = {Sep},
- howpublished={Internet Publication},
- volume = {64},
- url = {http://www-unix.mcs.anl.gov/AAR/issuesept04/index.html#paradox},
- note = {Association for Automated Reasoning Newsletter No. 64},
- }
|
