Informatics Report Series


Report   

EDI-INF-RR-1312


Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Home
Title:The Paradox of the Case Study
Authors: Alan Bundy
Date:Sep 2004
Publication Title:Association for Automated Reasoning Newsletter No. 64
Publisher:Association for Automated Reasoning
Publication Type:Internet Publication Publication Status:Published
Volume No:64
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},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh