Correctness is not enough
نویسنده
چکیده
The usual aim of spreadsheet audit is to verify correctness. There are two problems with this: first, it is often difficult to tell whether the spreadsheets in question are correct, and second, even if they are, they may still give the wrong results. These problems are explained in this paper, which presents the key criteria for judging a spreadsheet and discusses how those criteria can be achieved
منابع مشابه
Modeling Speed-Accuracy Tradeoff in Adaptive System for Practicing Estimation
Estimation is useful in situations where an exact answer is not as important as a quick answer that is good enough. A web-based adaptive system for practicing estimates is currently being developed. We propose a simple model for estimating student’s latent skill of estimation. This model combines a continuous measure of correctness and responsetimes. The advantage of the model is its simple upd...
متن کاملبیمه عمر از منظر فقه و حقوق اسلامی
Although, decades has passed since the creation and life insurances in Iran, this part of insurances has not found its proper position in legal and juridical system due to legal, juridical and cultural causes and because of its relationship with life and death of humans it has had a special feature and nature and has a great distinction from other insurances. Therefore, the legal main issues of...
متن کاملFormal Compiler Verification with ACL2 BAKKALAUREATSARBEIT
This paper gives a short introduction to ACL2, a Lisp-like language used to make automatic proofs. ACL2 is used to prove the correctness of a compiler at source level. However it is shown that source level verification is not enough to be sure to have a correct compiler. Even if a compiler is correct at source level and passes the bootstrap test, it may be incorrect and produce wrong or even ha...
متن کاملCorrectness issues in workflow management
Workflow management is a technique to integrate and automate the execution of steps that comprise a complex process, e.g., a business process. Workflow management systems (WFMSs) primarily evolved from industry to cater to the growing demand for office automation tools among businesses. Coincidentally, database researchers developed several extended transaction models to handle similar applicat...
متن کاملCorrectness of Workflow in the Presence of Concurrency
Work ow processes are long duration activities and therefore it is not possible to apply the well accepted correctness techniques of transactions directly to work ow systems In this paper we rst mention the correctness problems of work ow systems and then exploit the available seman tics in work ow speci cation in the form of data and serial control ow dependencies to de ne isolation units We s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/0808.2045 شماره
صفحات -
تاریخ انتشار 2008