Informatics Report Series



Related Pages

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

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
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.
2004 by The University of Edinburgh. All Rights Reserved
Links To Paper
1st Link
Bibtex format
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 = {},
note = {Association for Automated Reasoning Newsletter No. 64},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh