Skip to Main Content
Computational Thinking for the Modern Problem Solver
book

Computational Thinking for the Modern Problem Solver

by David Riley, Kenny A. Hunt
March 2014
Beginner to intermediate content levelBeginner to intermediate
405 pages
12h 16m
English
Chapman and Hall/CRC
Content preview from Computational Thinking for the Modern Problem Solver
263
Chapter 9
Let’s Get It Correct
It is much easier to be critical than to be correct.
BENJAMIN DISRAELI
OBJECTIVES
To know that many, if not most, of so-called computer errors are
really human errors, generally data entry errors
To know that correctness is impossible without a specification defin-
ing what correctness means
To be able to explain the difference between verification and valida-
tion, and the reasons that each is important
To realize that it is possible to prove the correctness of some software,
but that such proofs are only used in rare occasions due to their cost
and complexity
To know the limitations of software testing ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

From Computing to Computational Thinking

From Computing to Computational Thinking

Paul S. Wang

Publisher Resources

ISBN: 9781466587793